A modal logic for handling behavioural constraints in formal hardware verification

Zugl.: Erlangen, Nürnberg, Univ., Diss. : 1993

Bibliographische Detailangaben

1. Verfasser:	Mendler, Michael V. (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Erlangen Inst. für Mathematische Maschinen u. Datenverarbeitung (Informatik), Univ. 1993
Schriftenreihe:	Arbeitsberichte des Instituts für mathematische Maschinen und Datenverarbeitung (Informatik) / Friedrich Alexander Universität Erlangen Nürnberg 26,4
Schlagworte:	Hochschulschrift > Bericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!