Using integer programming to verify general safety and liveness properties

Bibliographische Detailangaben

1. Verfasser:	Corbett, James C. (VerfasserIn)
Weitere Verfasser:	Avrunin, George S. (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Amherst, Mass. Departement of Computer Science 1994
Schriftenreihe:	CMPSCI technical report 94-55
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!