- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540976646
3540976647
9780387976648
0387976647
- Dimensions
-
24 cm
- Extent
-
XIV, 427 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturverz. S. 389 - 401
- Keyword
-
Nebenläufigkeit
Softwarespezifikation
Temporale Logik
- Event
-
Veröffentlichung
- (where)
-
New York, Berlin, Heidelberg, London, Paris, Tokyo, Hong Kong, Barcelona, Budapest
- (who)
-
Springer
- (when)
-
1992
- Creator
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 1:48 PM 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
- Manna, Zohar
- Pnueli, Amir
- Springer
Time of origin
- 1992
Other Objects (12)
Concurrent temporal logic
Compositional verification and specification of refinement for reactive systems in a dense time temporal logic
An event based temporal logic specification of distributed systems
QoS Specification Based on SDL/MSC and Temporal Logic
Temporal logic in specification : Altrincham, UK, April 8 - 10, 1987 ; proceedings
A temporal logic for the specification and verification of distributed behaviour
Towards Concurrent Quantitative Separation Logic
Towards Concurrent Quantitative Separation Logic
Temporal Logic
Specification and verification of concurrent systems
Specification decomposition for reactive synthesis
Integration of graph transformation and temporal logic for the specification of distributed systems
Concurrent temporal logic
Compositional verification and specification of refinement for reactive systems in a dense time temporal logic
An event based temporal logic specification of distributed systems
QoS Specification Based on SDL/MSC and Temporal Logic
Temporal logic in specification : Altrincham, UK, April 8 - 10, 1987 ; proceedings
A temporal logic for the specification and verification of distributed behaviour
Towards Concurrent Quantitative Separation Logic
Towards Concurrent Quantitative Separation Logic
Temporal Logic
Specification and verification of concurrent systems
Specification decomposition for reactive synthesis
Integration of graph transformation and temporal logic for the specification of distributed systems
Concurrent temporal logic
Compositional verification and specification of refinement for reactive systems in a dense time temporal logic
An event based temporal logic specification of distributed systems
QoS Specification Based on SDL/MSC and Temporal Logic
Temporal logic in specification : Altrincham, UK, April 8 - 10, 1987 ; proceedings
A temporal logic for the specification and verification of distributed behaviour
Towards Concurrent Quantitative Separation Logic
Towards Concurrent Quantitative Separation Logic
Temporal Logic
Specification and verification of concurrent systems
Specification decomposition for reactive synthesis