A Modal Logic for Handling Behavioural Constraints in Formal Hardware Verification
Mendler, Michael (1993): A Modal Logic for Handling Behavioural Constraints in Formal Hardware Verification, Erlangen.
Author:
Corporate Body:
Institut für Mathematische Maschinen und Datenverarbeitung
Publisher Information:
Year of publication:
1993
Pages:
Series ; Volume:
Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung (Informatik) ; 26,4
Language:
English
Type:
Book
URI:
Activation date:
June 15, 2023

Versioning

Question on publication

Contact the FIS team
Permalink https://fis.uni-bamberg.de/handle/uniba/59761