1993-12-10
Models and axioms for a fragment of real time process algebra
Publication
Publication
Additional Metadata | |
---|---|
J.C.M. Baeten (Jos) , J.A. Bergstra (Jan) | |
Technische Universiteit Eindhoven | |
Klusener, A.S. (1993, December 10). Models and axioms for a fragment of real time process algebra.
|