UnivIS
Informationssystem der Otto-Friedrich-Universität Bamberg © Config eG 
Zur Titelseite der Universität Bamberg
  Sammlung/Stundenplan Home  |  Anmelden  |  Kontakt  |  Hilfe 
Suche:       
 Lehr-
veranstaltungen
   Personen/
Einrichtungen
   Räume   Telefon &
E-Mail
 
 
 Darstellung
 
Druckansicht

 
 
 Außerdem im UnivIS
 
Vorlesungsverzeichnis

 
 
Veranstaltungskalender

 
 
Einrichtungen >> Fakultät Wirtschaftsinformatik / Angewandte Informatik >>
Andersen, H. R. ; Mendler, Michael:
Describing a signal analyzer in the process algebra PMC - A case study .
In: Mosses, P.D. ; Nielsen, M. ; Schwartzbach, M.I. (Hrsg.) : Theory and Practice of Software Development (TAPSOFT '95).
Berlin u.a. : Springer, 1995, (LNCS Bd. 915), S. 620-635.

Institution: Professur für Grundlagen der Informatik
UnivIS ist ein Produkt der Config eG, Buckenhof