- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1432-0525
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Concurrent abstract state machines ; volume:53 ; number:5 ; day:27 ; month:10 ; year:2015 ; pages:469-492 ; date:8.2016
Acta informatica ; 53, Heft 5 (27.10.2015), 469-492, 8.2016
- Creator
-
Börger, Egon
- Contributor
-
Schewe, Klaus-Dieter
SpringerLink (Online service)
- DOI
-
10.1007/s00236-015-0249-7
- URN
-
urn:nbn:de:1111-2016071930311
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:46 AM CEST
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
- Börger, Egon
- Schewe, Klaus-Dieter
- SpringerLink (Online service)
Other Objects (12)
Verification of abstract state machines
Model checking abstract state machines
An Introduction to Abstract State Machines
Abstract State Machines for the Classroom
Abstract state machines : verification problems and complexity
Abstract state machines : verification problems and complexity
Refinement and implementation techniques for abstract state machines
Abstract state machines : verification problems and computational power
Distributed Abstract State Machines and Their Expressive Power
Composing web-service-like abstract state machines (ASM)
Abstract state machines : verification problems and computational power
Refinement and implementation techniques for Abstract State Machines
Verification of abstract state machines
Model checking abstract state machines
An Introduction to Abstract State Machines
Abstract State Machines for the Classroom
Abstract state machines : verification problems and complexity
Abstract state machines : verification problems and complexity
Refinement and implementation techniques for abstract state machines
Abstract state machines : verification problems and computational power
Distributed Abstract State Machines and Their Expressive Power
Composing web-service-like abstract state machines (ASM)
Abstract state machines : verification problems and computational power
Refinement and implementation techniques for Abstract State Machines
Verification of abstract state machines
Model checking abstract state machines
An Introduction to Abstract State Machines
Abstract State Machines for the Classroom
Abstract state machines : verification problems and complexity
Abstract state machines : verification problems and complexity
Refinement and implementation techniques for abstract state machines
Abstract state machines : verification problems and computational power
Distributed Abstract State Machines and Their Expressive Power
Composing web-service-like abstract state machines (ASM)
Abstract state machines : verification problems and computational power