- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1432-0452
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Parameterized model checking of rendezvous systems ; day:6 ; month:6 ; year:2017 ; pages:1-36
Distributed computing ; (6.6.2017), 1-36
- Creator
-
Aminof, Benjamin
- Contributor
-
Kotek, Tomer
Rubin, Sasha
Spegni, Francesco
Veith, Helmut
SpringerLink (Online service)
- DOI
-
10.1007/s00446-017-0302-6
- URN
-
urn:nbn:de:1111-201710171774
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
- 15.08.2025, 7:28 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Aminof, Benjamin
- Kotek, Tomer
- Rubin, Sasha
- Spegni, Francesco
- Veith, Helmut
- SpringerLink (Online service)
Other Objects (12)
Model-checking problems, machines and parameterized complexity
Model-checking problems, machines and parameterized complexity
The parameterized space complexity of model-checking bounded variable first-order logic
Model checking pushdown systems
Model checking pushdown systems
Model checking compositional Markov systems
Model checking stochastic hybrid systems
Using model checking for system verification
Causality checking for complex system models
Causality checking for complex system models
Checking EMTLK Properties of Timed Interpreted Systems Via Bounded Model Checking
Symbolic Causality Checking Using Bounded Model Checking
Model-checking problems, machines and parameterized complexity
Model-checking problems, machines and parameterized complexity
The parameterized space complexity of model-checking bounded variable first-order logic
Model checking pushdown systems
Model checking pushdown systems
Model checking compositional Markov systems
Model checking stochastic hybrid systems
Using model checking for system verification
Causality checking for complex system models
Causality checking for complex system models
Checking EMTLK Properties of Timed Interpreted Systems Via Bounded Model Checking
Symbolic Causality Checking Using Bounded Model Checking
Model-checking problems, machines and parameterized complexity
Model-checking problems, machines and parameterized complexity
The parameterized space complexity of model-checking bounded variable first-order logic
Model checking pushdown systems
Model checking pushdown systems
Model checking compositional Markov systems
Model checking stochastic hybrid systems
Using model checking for system verification
Causality checking for complex system models
Causality checking for complex system models
Checking EMTLK Properties of Timed Interpreted Systems Via Bounded Model Checking