Partial order methods in verification DIMACS workshop July 24-26, 1996

Gespeichert in:

Bibliographische Detailangaben
Körperschaften:	Center for Discrete Mathematics and Theoretical Computer Science (BerichterstatterIn), Workshop on Partial Order Methods in Verification (BerichterstatterIn)
Weitere Verfasser:	Peled, Doron (HerausgeberIn), Pratt, Vaughan R. (BerichterstatterIn), Holzmann, Gerard J. (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Providence, R.I American Mathematical Society c1997
Schriftenreihe:	DIMACS series in discrete mathematics and theoretical computer science v. 29
Schlagworte:	Electronic data processing > Distributed processing > Computer software > Verification > Programmverifikation > Ordnung > Kongress > Numerical calculations > Princeton <NJ, 1996> > Aufsatzsammlung > Konferenzschrift > Verifikation > Zustandsraum > Halbordnung
Online Zugang:	Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!