|
Margaria, T. ; Mendler, Michael: Automatic treatment of sequential circuits in second-order monadic logic
. In: Straube, B. (Hrsg.) : GI/ITG/GME Workshop Methoden des Entwurfs und der Verifikation Digitaler Systeme. Aachen : Shaker, 1996, S. 21-30.
Institution: Professur für Grundlagen der Informatik
|
|
|
|
UnivIS ist ein Produkt der Config eG, Buckenhof |
|
|