Enhancing symbolic model checking by Ai techniques

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Buccafurri, Francesco (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	ger
Veröffentlicht:	Giessen IFIG 1997
Schriftenreihe:	Institut für Informatik <Gießen>: IFIG research report 9701
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	Literaturverz. S. 43 - 45
Beschreibung:	45 S. graph. Darst.