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