Acronyms von A bis Z
LNCS369
-D. Taubner: Finite Representations of CCS and TCSP Programs by Automata and Petri Nets, Springer-Verlag 1989
-D. Taubner: Finite Representations of CCS and TCSP Programs by Automata and Petri Nets, Springer-Verlag 1989