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 >> Norton, B.: Reactive Types for Dataflow-Oriented Component-Based Design . In: University of Birmingham (Veranst.): 2nd Workshop in the Automated Verification of Critical Systems (AVoCS02). Birmingham : University of Birmingham, 2002, S. 195-209. (University of Birmingham Technical Report CRS-02-6) UnivIS ist ein Produkt der Config eG, Buckenhof