Normal view
MARC view
TCSP (Topical Term)
Machine generated authority record
Work cat.: (AT-ISTA): Taubner, Dirk, 1959- https://id.oclc.org/worldcat/entity/E39PCjwHWwm4jkWKmTpDHdtfHK 32962, Finite representations of CCS and TCSP programs by automata and Petri nets /, ©1989.