|
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
Institution: Professur für Grundlagen der Informatik
|
|
|
|
UnivIS ist ein Produkt der Config eG, Buckenhof |
|
|