- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
In: Model Checking Software / Valmari, Antti (Hrsg.). - Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. - (Lecture Notes in Computer Science ; 3925). - S. 271-287. - ISBN 978-3-540-33102-5
- Classification
-
Mathematik
- Event
-
Veröffentlichung
- (where)
-
Konstanz
- (who)
-
Bibliothek der Universität Konstanz
- (when)
-
2013
- Creator
-
Bošnački, Dragan
Leue, Stefan
Lluch Lafuente, Alberto
- URN
-
urn:nbn:de:bsz:352-214643
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:54 PM CET
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
- Bošnački, Dragan
- Leue, Stefan
- Lluch Lafuente, Alberto
- Bibliothek der Universität Konstanz
Time of origin
- 2013
Other Objects (12)
Partial-order reduction for general state exploring algorithms
Partial-Order Reduction for General State Exploring Algorithms
Partial Order Reduction in Directed Model Checking
Partial-order reduction and trail improvement in directedmodel checking
Formalizations and Algorithms for Optimized Parallel Protocol Implementation
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
QoS Specification Based on SDL/MSC and Temporal Logic
Methods and semantics for telecommunications systems engineering
Formal methods for industrial critical systems : 12th international workshop ; revised selected papers
Interpreting Message Flow Graphs
Implementing and Verifying Scenario-Based Specifications Using Promela/XSpin : Extended Abstract
Four Issues Concerning the Semantics of Message Flow Graphs
Partial-order reduction for general state exploring algorithms
Partial-Order Reduction for General State Exploring Algorithms
Partial Order Reduction in Directed Model Checking
Partial-order reduction and trail improvement in directedmodel checking
Formalizations and Algorithms for Optimized Parallel Protocol Implementation
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
QoS Specification Based on SDL/MSC and Temporal Logic
Methods and semantics for telecommunications systems engineering
Formal methods for industrial critical systems : 12th international workshop ; revised selected papers
Interpreting Message Flow Graphs
Implementing and Verifying Scenario-Based Specifications Using Promela/XSpin : Extended Abstract
Four Issues Concerning the Semantics of Message Flow Graphs
Partial-order reduction for general state exploring algorithms
Partial-Order Reduction for General State Exploring Algorithms
Partial Order Reduction in Directed Model Checking
Partial-order reduction and trail improvement in directedmodel checking
Formalizations and Algorithms for Optimized Parallel Protocol Implementation
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
QoS Specification Based on SDL/MSC and Temporal Logic
Methods and semantics for telecommunications systems engineering
Formal methods for industrial critical systems : 12th international workshop ; revised selected papers
Interpreting Message Flow Graphs
Implementing and Verifying Scenario-Based Specifications Using Promela/XSpin : Extended Abstract