Automatic verification of Petri Nets in a CLP framework

Zugl.: Linköping, Univ., Diss., 1997

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Olsén, Hans (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Linköping Linköping Univ. 1997
Schriftenreihe:	Linköping studies in science and technology 495
Schlagworte:	Hochschulschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!