Special issue on formal methods for computer-aided design second international conference, FMCAD '98, Palo Alto, CA, USA, November 4 - 6, 1998

Bibliographische Detailangaben

Weitere Verfasser:	Gopalakrishnan, Ganesh C. (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Boston, Mass. u.a. Kluwer 2000
Schriftenreihe:	Formal methods in system design 16,1
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!