- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
In: Lecture Notes in Computer Science, 4010, S. 236-256
- Event
-
Veröffentlichung
- (where)
-
Augsburg
- (who)
-
Universität Augsburg, Springer
- (when)
-
2006
- Creator
- DOI
-
10.1007/11768173_14
- URN
-
urn:nbn:de:bvb:384-opus4-359395
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
26.10.0004, 2:12 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
- Guttmann, Walter
- Möller, Bernhard
- Universität Augsburg, Springer
Time of origin
- 2006
Other Objects (12)
Modal Design Algebra
Modal Kleene Algebra and Partial Correctness
Knowledge and Games in Modal Semirings
Fuzzifying modal algebra
Ideal Stream Algebra
Lazy Kleene Algebra
Normal Design Algebra
The Linear Algebra of UTP
Termination in Modal Kleene Algebra
Modal algebra and Petri nets
Modal Kleene Algebra and partial correctness
Deductive Hardware Design: A Functional Approach
Modal Design Algebra
Modal Kleene Algebra and Partial Correctness
Knowledge and Games in Modal Semirings
Fuzzifying modal algebra
Ideal Stream Algebra
Lazy Kleene Algebra
Normal Design Algebra
The Linear Algebra of UTP
Termination in Modal Kleene Algebra
Modal algebra and Petri nets
Modal Kleene Algebra and partial correctness
Deductive Hardware Design: A Functional Approach
Modal Design Algebra
Modal Kleene Algebra and Partial Correctness
Knowledge and Games in Modal Semirings
Fuzzifying modal algebra
Ideal Stream Algebra
Lazy Kleene Algebra
Normal Design Algebra
The Linear Algebra of UTP
Termination in Modal Kleene Algebra
Modal algebra and Petri nets
Modal Kleene Algebra and partial correctness