State space reduction using partial order techniques

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	International journal on software tools for technology transfer Jg. 2; H. 3; S. 279 - 287
Hauptverfasser:	Clarke, E.M., Grumberg, O., Minea, M., Peled, D.
Format:	Journal Article
Sprache:	Englisch Japanisch
Veröffentlicht:	01.11.1999
ISSN:	1433-2779, 1433-2787
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
ISSN:	1433-2779 1433-2787
DOI:	10.1007/s100090050035