Normal view
MARC view
Taubner, Dirk, 1959- (Personal Name)
Machine generated authority record.
Work cat.: (AT-ISTA): Taubner, Dirk, 1959-, Finite representations of CCS and TCSP programs by automata and Petri nets /, ©1989.