Informationssystem der Otto-Friedrich-Universität Bamberg © Config eG
Sammlung/Stundenplan Home  |  Anmelden  |  Kontakt  |  Hilfe  Suche: Personen Einrichtungen sonstige Einträge Lehrveranstaltungen Räume
Darstellung   Druckansicht      Außerdem im UnivIS   Vorlesungsverzeichnis     Veranstaltungskalender	Einrichtungen >> Fakultät Wirtschaftsinformatik / Angewandte Informatik >> Bereich Informatik >> Professur für Grundlagen der Informatik >> 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