- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
In: Lecture Notes in Computer Science, 6486, S. 76-91
- Event
-
Veröffentlichung
- (where)
-
Augsburg, Berlin
- (who)
-
Universität Augsburg, Springer
- (when)
-
2011
- Creator
- DOI
-
10.1007/978-3-642-17796-5_5
- URN
-
urn:nbn:de:bvb:384-opus4-587847
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:48 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
- Glück, Roland
- Möller, Bernhard
- Sintzoff, Michel
- Universität Augsburg, Springer
Time of origin
- 2011
Other Objects (12)
An Algebraic Approach to Systolic Circuits
The Linear Algebra of UTP
Ideal Stream Algebra
Deductive Hardware Design: A Functional Approach
Knowledge and Games in Modal Semirings
Lazy Kleene Algebra
Omega Algebra, Demonic Refinement Algebra and Commands
Ordered and continuous models of higher-order specifications
Poimandrosatanomachia ecclesia christiana : hoc est: Poemandri Episcopi et Satanicae Veneris pugna ...
Unendliche Objekte und Geflechte
Omega algebra, demonic refinement algebra and commands
Derivation of graph and pointer algorithms
An Algebraic Approach to Systolic Circuits
The Linear Algebra of UTP
Ideal Stream Algebra
Deductive Hardware Design: A Functional Approach
Knowledge and Games in Modal Semirings
Lazy Kleene Algebra
Omega Algebra, Demonic Refinement Algebra and Commands
Ordered and continuous models of higher-order specifications
Poimandrosatanomachia ecclesia christiana : hoc est: Poemandri Episcopi et Satanicae Veneris pugna ...
Unendliche Objekte und Geflechte
Omega algebra, demonic refinement algebra and commands
Derivation of graph and pointer algorithms
An Algebraic Approach to Systolic Circuits
The Linear Algebra of UTP
Ideal Stream Algebra
Deductive Hardware Design: A Functional Approach
Knowledge and Games in Modal Semirings
Lazy Kleene Algebra
Omega Algebra, Demonic Refinement Algebra and Commands
Ordered and continuous models of higher-order specifications
Poimandrosatanomachia ecclesia christiana : hoc est: Poemandri Episcopi et Satanicae Veneris pugna ...
Unendliche Objekte und Geflechte
Omega algebra, demonic refinement algebra and commands