ExLibris header image
SFX Logo
Title: An invariant-based approach to the verification of asynchronous parameterized networks
Source:

Journal of Symbolic Computation [0747-7171] Konnov, Igor yr:2010


Collapse list of basic services Basic
Sorry, no full text available...
Please use the document delivery service (see below)  
Holding information
Holdings in library search engine ALBERT GO
Document delivery
Request document via Library/Bibliothek GO

Expand list of advanced services Advanced
A service provided by the Library of the Wissenschaftspark Albert Einstein, Potsdam, Germany.
© 2005 SFX by Ex Libris Inc.