Formal verification by symbolic evaluation of partially-orderd trajectories

Bibliographische Detailangaben

1. Verfasser:	Seger, Carl-Johan H. (VerfasserIn)
Körperschaft:	University of British Columbia Department of Computer Science (Herausgebendes Organ)
Weitere Verfasser:	Bryant, Randal E. (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Vancouver University of British Columbia, Department of Computer Science 1993
Schriftenreihe:	Technical report / Department of Computer Science, University of British Columbia 93-8
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!