- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
Informatik-Berichte ; Ausgabe 203, 2006
- Event
-
Veröffentlichung
- (where)
-
Berlin
- (who)
-
Humboldt-Universität zu Berlin
- (when)
-
2006
- Creator
- DOI
-
10.18452/2466
- URN
-
urn:nbn:de:kobv:11-10071434
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:46 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
- Reisig, Wolfgang
- Humboldt-Universität zu Berlin
Time of origin
- 2006
Other Objects (12)
Model checking abstract state machines
Verification of abstract state machines
Refinement and implementation techniques for abstract state machines
Refinement and implementation techniques for Abstract State Machines
An Introduction to Abstract State Machines
Abstract state machines : verification problems and complexity
Abstract state machines : verification problems and complexity
Abstract state machines : verification problems and computational power
Distributed Abstract State Machines and Their Expressive Power
Abstract state machines : verification problems and computational power
Composing web-service-like abstract state machines (ASM)
Formal Product Families for Abstract Machines
Model checking abstract state machines
Verification of abstract state machines
Refinement and implementation techniques for abstract state machines
Refinement and implementation techniques for Abstract State Machines
An Introduction to Abstract State Machines
Abstract state machines : verification problems and complexity
Abstract state machines : verification problems and complexity
Abstract state machines : verification problems and computational power
Distributed Abstract State Machines and Their Expressive Power
Abstract state machines : verification problems and computational power
Composing web-service-like abstract state machines (ASM)
Formal Product Families for Abstract Machines
Model checking abstract state machines
Verification of abstract state machines
Refinement and implementation techniques for abstract state machines
Refinement and implementation techniques for Abstract State Machines
An Introduction to Abstract State Machines
Abstract state machines : verification problems and complexity
Abstract state machines : verification problems and complexity
Abstract state machines : verification problems and computational power
Distributed Abstract State Machines and Their Expressive Power
Abstract state machines : verification problems and computational power
Composing web-service-like abstract state machines (ASM)