Finite representations of CCS an TCSP programs by automata and Petri nets
Gespeichert in:
Verfasser / Beitragende:
Dirk Taubner
Ort, Verlag, Jahr:
Berlin [etc.] :
Springer,
1989
Beschreibung:
X, 168 p. : fig. ; 25 cm
Format:
Buch