Theory and Application of Abstract State Machines (Dagstuhl Seminar 02101)

Blass, Andreas R.; Börger, Egon; Gurevich, Yuri

doi:10.4230/DagSemRep.336

Document

Theory and Application of Abstract State Machines (Dagstuhl Seminar 02101)

Authors Andreas R. Blass, Egon Börger, Yuri Gurevich

Part of: Volume: Dagstuhl Seminar Reports (DagSemRep)
Part of: Series: Dagstuhl Seminar Reports (DagSemRep)
License: Creative Commons Attribution 4.0 International license
Publication Date: 2002-06-08

PDF

File

DagSemRep.336.pdf

Filesize: 2.8 MB
40 pages

Document Identifiers

DOI: 10.4230/DagSemRep.336
URN: urn:nbn:de:0030-drops-152187

Author Details

Andreas R. Blass

Egon Börger

Yuri Gurevich

Cite AsGet BibTex

Andreas R. Blass, Egon Börger, and Yuri Gurevich. Theory and Application of Abstract State Machines (Dagstuhl Seminar 02101). Dagstuhl Seminar Report 336, pp. 1-40, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2002)
https://doi.org/10.4230/DagSemRep.336

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views