Informationssystem der Otto-Friedrich-Universität Bamberg
© Config eG
Sammlung/Stundenplan
Home
|
Anmelden
|
Kontakt
|
Hilfe
Suche:
Personen
Einrichtungen
sonstige Einträge
Lehrveranstaltungen
Räume
Lehr-
veranstaltungen
Personen/
Einrichtungen
Räume
Telefon &
E-Mail
Darstellung
Druckansicht
Außerdem im UnivIS
Vorlesungsverzeichnis
Veranstaltungskalender
Einrichtungen
>>
Fakultät Wirtschaftsinformatik / Angewandte Informatik
>>
Margaria, T. ;
Mendler, Michael
; Gsottberger, C.
:
Modelling and verification of unbounded length systolic arrays in monadic second-order logic .
In:
University of Aalborg
(Veranst.):
Int'l. Workshop on Infinite State Systems
(Infinity '98, Aalborg, DK, Juli 1998).
München : TU München, 1998, S. 99-112.
Institution:
Professur für Grundlagen der Informatik
UnivIS ist ein Produkt der
Config eG
, Buckenhof