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
