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