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 | Size | Format | |
---|---|---|---|
Modal_LogicOCR_A3a.pdf | 6.05 MB | View/Open |

originated at the
University of Bamberg
University of Bamberg