- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Deutsch
- Bibliographic citation
-
In: Ursprünglich in: Theoretical informatics and applications. – 26 (1992), 5, Seite 403-424
- Event
-
Veröffentlichung
- (where)
-
Bamberg
- (who)
-
Otto-Friedrich-Universität Bamberg
- (when)
-
2018
- Creator
-
Steffen, B.
Barry Jay, C.
Mendler, Michael
- DOI
-
10.20378/irbo-52664
- URN
-
urn:nbn:de:bvb:473-opus4-526643
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:57 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
- Steffen, B.
- Barry Jay, C.
- Mendler, Michael
- Otto-Friedrich-Universität Bamberg
Time of origin
- 2018
Other Objects (12)
Compositional Concurrent Program Verification with RGITL
Black-Box Testing Liveness Properties of Partially Observable Stochastic Systems
Observable Reputation Trading
Structural, compositional and mechanical characterization of bovine dental enamel
Norm observable operator models
Observable Strategies, Commitments, and Contracts
Morphological, structural, and compositional characterization of electrodeposited Bi1-xSbx nanowires
Observable Contracts: Strategic Delegation and Cooperation
Vektormesonen in Kernmaterie : Eigenschaften und Observable
The impact of nanoscale compositional variation on the properties of amorphous alloys
Verification of non-regular program properties
Decomposition for compositional verification
Compositional Concurrent Program Verification with RGITL
Black-Box Testing Liveness Properties of Partially Observable Stochastic Systems
Observable Reputation Trading
Structural, compositional and mechanical characterization of bovine dental enamel
Norm observable operator models
Observable Strategies, Commitments, and Contracts
Morphological, structural, and compositional characterization of electrodeposited Bi1-xSbx nanowires
Observable Contracts: Strategic Delegation and Cooperation
Vektormesonen in Kernmaterie : Eigenschaften und Observable
The impact of nanoscale compositional variation on the properties of amorphous alloys
Verification of non-regular program properties
Decomposition for compositional verification
Compositional Concurrent Program Verification with RGITL
Black-Box Testing Liveness Properties of Partially Observable Stochastic Systems
Observable Reputation Trading
Structural, compositional and mechanical characterization of bovine dental enamel
Norm observable operator models
Observable Strategies, Commitments, and Contracts
Morphological, structural, and compositional characterization of electrodeposited Bi1-xSbx nanowires
Observable Contracts: Strategic Delegation and Cooperation
Vektormesonen in Kernmaterie : Eigenschaften und Observable
The impact of nanoscale compositional variation on the properties of amorphous alloys
Verification of non-regular program properties