- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1433-2787
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Directed model checking with distance-preserving abstractions ; volume:11 ; number:1 ; day:12 ; month:11 ; year:2008 ; pages:27-37 ; date:2.2009
International journal on software tools for technology transfer ; 11, Heft 1 (12.11.2008), 27-37, 2.2009
- Creator
-
Dräger, Klaus
Finkbeiner, Bernd
Podelski, Andreas
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10009-008-0092-z
- URN
-
urn:nbn:de:101:1-2021082720460617875463
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:49 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
- Dräger, Klaus
- Finkbeiner, Bernd
- Podelski, Andreas
- SpringerLink (Online service)
Other Objects (12)
Trail-Directed Model Checking
Survey on Directed Model Checking
Directed model checking for timed automata
Directed Explicit Model Checking with HSF-SPIN
Partial Order Reduction in Directed Model Checking
Flatland/abstractions narratives
Writing Clean Abstractions
Letters to abstractions
Transition-based directed model checking : = Transitionsbasierte gerichtete Modellprüfung
Directed and Distributed Model Checking of B-Specifications
Directed model checking : 06172 abstracts collection ; Dagstuhl seminar
Summary of Dagstuhl Seminar 06172 on Directed Model Checking
Trail-Directed Model Checking
Survey on Directed Model Checking
Directed model checking for timed automata
Directed Explicit Model Checking with HSF-SPIN
Partial Order Reduction in Directed Model Checking
Flatland/abstractions narratives
Writing Clean Abstractions
Letters to abstractions
Transition-based directed model checking : = Transitionsbasierte gerichtete Modellprüfung
Directed and Distributed Model Checking of B-Specifications
Directed model checking : 06172 abstracts collection ; Dagstuhl seminar
Summary of Dagstuhl Seminar 06172 on Directed Model Checking
Trail-Directed Model Checking
Survey on Directed Model Checking
Directed model checking for timed automata
Directed Explicit Model Checking with HSF-SPIN
Partial Order Reduction in Directed Model Checking
Flatland/abstractions narratives
Writing Clean Abstractions
Letters to abstractions
Transition-based directed model checking : = Transitionsbasierte gerichtete Modellprüfung
Directed and Distributed Model Checking of B-Specifications
Directed model checking : 06172 abstracts collection ; Dagstuhl seminar