Informationssystem der Otto-Friedrich-Universität Bamberg
© Config eG
Mendler, Michael
:
Characterising combinational timing analyses in intuitionistic modal logic .
In:
The Logic Journal of the IGPL
8 (2000), Nr. 6, S. 821-853
Institution:
Professur für Grundlagen der Informatik
UnivIS ist ein Produkt der Config eG, Buckenhof