- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
Informatik-Berichte ; Ausgabe 196, 2006
- Event
-
Veröffentlichung
- (where)
-
Berlin
- (who)
-
Humboldt-Universität zu Berlin
- (when)
-
2006
- Creator
- DOI
-
10.18452/2458
- URN
-
urn:nbn:de:kobv:11-10062529
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:56 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
- Glausch, Andreas
- Reisig, Wolfgang
- Humboldt-Universität zu Berlin
Time of origin
- 2006
Other Objects (12)
Abstract state machines : verification problems and computational power
Abstract state machines : verification problems and computational power
On the Abstract Expressive Power of Description Logics with Concrete Domains : Extended Version
Model checking abstract state machines
Diagrams: tropes, tools, abstract machines
Verification of abstract state machines
Legion: Programming Heterogeneous, Distributed Parallel Machines
Introduction to languages, machines and logic : computable machines, abstract machines and formal logic
On the expressive power of pure OCL
Equal before the (expressive power of) law?
Equal before the (expressive power of) law?
An Introduction to Abstract State Machines
Abstract state machines : verification problems and computational power
Abstract state machines : verification problems and computational power
On the Abstract Expressive Power of Description Logics with Concrete Domains : Extended Version
Model checking abstract state machines
Diagrams: tropes, tools, abstract machines
Verification of abstract state machines
Legion: Programming Heterogeneous, Distributed Parallel Machines
Introduction to languages, machines and logic : computable machines, abstract machines and formal logic
On the expressive power of pure OCL
Equal before the (expressive power of) law?
Equal before the (expressive power of) law?
An Introduction to Abstract State Machines
Abstract state machines : verification problems and computational power
Abstract state machines : verification problems and computational power
On the Abstract Expressive Power of Description Logics with Concrete Domains : Extended Version
Model checking abstract state machines
Diagrams: tropes, tools, abstract machines
Verification of abstract state machines
Legion: Programming Heterogeneous, Distributed Parallel Machines
Introduction to languages, machines and logic : computable machines, abstract machines and formal logic
On the expressive power of pure OCL
Equal before the (expressive power of) law?
Equal before the (expressive power of) law?