Login / Signup

Formal Specification, Verification and Simulation of Time-Dependent Systems: a Timed Process Algebra Approach.

Murilo S. de CamargoRoberto Milton Scheffel
Published in: Electron. Notes Theor. Comput. Sci. (1998)
Keyphrases