Finite representations of CCS and TCSP programs by automata and Petri nets /

Uloženo v:
Podrobná bibliografie
Hlavní autor: Taubner, Dirk, 1959-
Médium: Kniha
Jazyk:English
Vydáno: Berlin ; New York : Springer-Verlag, c1989.
Edice:Lecture notes in computer science ; 369.
Témata:

CARM 1 Store

Informace o exemplářích z: CARM 1 Store
Signatura: A2:AP19D0 C07236
Jednotka 1 Dostupné  Požadavek