|
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 |
|
|