A Modal Logic for Handling Behavioural Constraints in Formal Hardware Verification

Faculty/Professorship: Foundations of Computer Science  
Author(s): Mendler, Michael
Publisher Information: Bamberg : opus
Year of publication: 2018
Pages: 245
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(s): English
Remark: Retrodigitalisat
DOI: 10.20378/irbo-52663
Licence: German Act on Copyright 
URN: urn:nbn:de:bvb:473-opus4-526634
Type: Book
URI: https://fis.uni-bamberg.de/handle/uniba/44332
Year of publication: 13. August 2018

File SizeFormat  
Modal_LogicOCR_A3a.pdf6.05 MBPDFView/Open