 |
Fakultät für Informatik - Technische Universität MünchenLehrstuhl für Effiziente Algorithmen |
 |
Die bibliographische Datenbank LEABib
Suchen •
Liste der Journale •
Liste der Serien •
Liste der Konferenzen •
Ausgewählte Publikationen  [2]
|
Hilfe 
|
 |
|
| Suche: Citkey="Suzuki-Murata/83" |
|
A method for stepwise refinement and abstraction of Petri nets
I. Suzuki, T. Murata
Journal of Computer and System Sciences 27 (1), 1983, August, pp. 51-76
| Publisher: | Academic Press | |
| Address: | New York-San Francisco-London-San Diego | |
| Institution: | Education Center for Information Processing, Osaka Univ., Toyonaka, Japan | |
|
|
|
|