- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
Ifi technical report series ; [20]09,02
- Classification
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
Clausthal-Zellerfeld
- (who)
-
TU Clausthal, Institut für Informatik
- (when)
-
2009
- Creator
- Contributor
-
Institut für Informatik, Technische Universität Clausthal
- URN
-
urn:nbn:de:gbv:104-ifi-09-022
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:50 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
- Bulling, Nils
- Hindriks, Koen V.
- Institut für Informatik, Technische Universität Clausthal
- TU Clausthal, Institut für Informatik
Time of origin
- 2009
Other Objects (12)
Specification-oriented semantics for communicating processes
Refinement-Based Verification of Communicating Unstructured Code
Semantics and verification of statecharts
Process theory: semantics, specification and verification
Operational semantics and verification of security protocols
Theory of program structures : schemes, semantics, verification
Assumption, commitment rules for networks of asynchronously communicating agents
Design of a Formal Estelle Semantics for Verification
An architecture for rational agents
Service oriented computing: agents, semantics, and engineering : proceedings
Service oriented computing: agents, semantics, and engineering : proceedings
Service oriented computing: agents, semantics, and engineering : proceedings
Specification-oriented semantics for communicating processes
Refinement-Based Verification of Communicating Unstructured Code
Semantics and verification of statecharts
Process theory: semantics, specification and verification
Operational semantics and verification of security protocols
Theory of program structures : schemes, semantics, verification
Assumption, commitment rules for networks of asynchronously communicating agents
Design of a Formal Estelle Semantics for Verification
An architecture for rational agents
Service oriented computing: agents, semantics, and engineering : proceedings
Service oriented computing: agents, semantics, and engineering : proceedings
Service oriented computing: agents, semantics, and engineering : proceedings
Specification-oriented semantics for communicating processes
Refinement-Based Verification of Communicating Unstructured Code
Semantics and verification of statecharts
Process theory: semantics, specification and verification
Operational semantics and verification of security protocols
Theory of program structures : schemes, semantics, verification
Assumption, commitment rules for networks of asynchronously communicating agents
Design of a Formal Estelle Semantics for Verification
An architecture for rational agents
Service oriented computing: agents, semantics, and engineering : proceedings
Service oriented computing: agents, semantics, and engineering : proceedings