- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Deutsch
- Erschienen in
-
In: Ursprünglich in: Theoretical informatics and applications. – 26 (1992), 5, Seite 403-424
- Ereignis
-
Veröffentlichung
- (wo)
-
Bamberg
- (wer)
-
Otto-Friedrich-Universität Bamberg
- (wann)
-
2018
- Urheber
-
Steffen, B.
Barry Jay, C.
Mendler, Michael
- DOI
-
10.20378/irbo-52664
- URN
-
urn:nbn:de:bvb:473-opus4-526643
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:57 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Steffen, B.
- Barry Jay, C.
- Mendler, Michael
- Otto-Friedrich-Universität Bamberg
Entstanden
- 2018
Ähnliche Objekte (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