A Modal Logic for Handling Behavioural Constraints in Formal Hardware Verification
Mendler, Michael (2018): A Modal Logic for Handling Behavioural Constraints in Formal Hardware Verification, Bamberg: opus, doi: 10.20378/irbo-52663.
Faculty/Chair:
Author:
Publisher Information:
Year of publication:
2018
Pages:
Source/Other editions:
Ursprünglich in: A modal logic for handling behavioural constraints in formal hardware verification. - Edinburgh, 1993. - IX, 236 S. : graph. Darst.. - Zugl.: Edinburgh, Univ., Diss., 1992
Year of first publication:
1993
Language:
English
Remark:
Retrodigitalisat:
DOI:
Licence:
URN:
Type:
Book
URI:
Activation date:
August 13, 2018

Full text/File(s)

Modal_LogicO[...].pdf

Question on publication

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