Informationssystem der Otto-Friedrich-Universität Bamberg
© Config eG
Mendler, Michael
:
A modal logic for handling behavioural constraints in formal hardware verification
.
Edinburgh : Dept. of Computer Science, University of Edinburgh. 1993
(ECS-LFCS-93-255, March). - Forschungsbericht. 236 Seiten
UnivIS ist ein Produkt der Config eG, Buckenhof