- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1432-0452
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
Parameterized model checking of rendezvous systems ; day:6 ; month:6 ; year:2017 ; pages:1-36
Distributed computing ; (6.6.2017), 1-36
- Urheber
-
Aminof, Benjamin
- Beteiligte Personen und Organisationen
-
Kotek, Tomer
Rubin, Sasha
Spegni, Francesco
Veith, Helmut
SpringerLink (Online service)
- DOI
-
10.1007/s00446-017-0302-6
- URN
-
urn:nbn:de:1111-201710171774
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
- 15.08.2025, 07:28 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Aminof, Benjamin
- Kotek, Tomer
- Rubin, Sasha
- Spegni, Francesco
- Veith, Helmut
- SpringerLink (Online service)
Ähnliche Objekte (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