- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1433-2787
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
Model checking: recent improvements and applications ; volume:20 ; number:5 ; day:24 ; month:7 ; year:2018 ; pages:493-497 ; date:10.2018
International journal on software tools for technology transfer ; 20, Heft 5 (24.7.2018), 493-497, 10.2018
- Urheber
-
Bošnački, Dragan
- Beteiligte Personen und Organisationen
-
Wijs, Anton
SpringerLink (Online service)
- DOI
-
10.1007/s10009-018-0501-x
- URN
-
urn:nbn:de:101:1-2018101423543421778610
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:26 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
- Bošnački, Dragan
- Wijs, Anton
- SpringerLink (Online service)
Ähnliche Objekte (12)
Online model checking mechanism and its applications
Recent improvements in science
Challenges and applications of assembly level software model checking
Symbolic Causality Checking Using Bounded Model Checking
Symbolic Causality Checking Using Bounded Model Checking
Model composition in model checking
Model composition in model-checking
Model checking software : proceedings
Model checking software : proceedings
Model checking software : proceedings
Model checking pushdown systems
Model checking software : proceedings
Online model checking mechanism and its applications
Recent improvements in science
Challenges and applications of assembly level software model checking
Symbolic Causality Checking Using Bounded Model Checking
Symbolic Causality Checking Using Bounded Model Checking
Model composition in model checking
Model composition in model-checking
Model checking software : proceedings
Model checking software : proceedings
Model checking software : proceedings
Model checking pushdown systems
Model checking software : proceedings
Online model checking mechanism and its applications
Recent improvements in science
Challenges and applications of assembly level software model checking
Symbolic Causality Checking Using Bounded Model Checking
Symbolic Causality Checking Using Bounded Model Checking
Model composition in model checking
Model composition in model-checking
Model checking software : proceedings
Model checking software : proceedings
Model checking software : proceedings
Model checking pushdown systems