Informationssystem der Otto-Friedrich-Universität Bamberg
© Config eG
Mendler, Michael
:
Timing analysis of combinational circuits in intuitionistic propositional logic .
In:
Formal Methods in System Design
17 (2000), Nr. 1, S. 5-37
Institution:
Professur für Grundlagen der Informatik
UnivIS ist ein Produkt der Config eG, Buckenhof