%0 Book
%A / Dirk Taubner
%T Finite representations of CCS and TCSP programs by automata and Petri nets
%U /book/101227975/Finite-representations-of-CCS-and-TCSP-programs-by/