| Citation: | Jörn W. Janneck and Philipp W. Kutter, "Object-based Abstract State Machines". TIK-Report Nr. 47, 1998. |
|---|---|
| Summary: | A proposed extension of ASMs to include object-based constructs. |
| Subjects: | ASM Extensions |
| Download: | PostScript, PDF, Compressed PostScript |
| Notes: |
[an error occurred while processing this directive]
URL:
http://web.eecs.umich.edu/gasm/papers/objasm.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT