Skip to main content

Probabilistic and Prioritized Models of Timed CSP

Gavin Lowe

Journal
Theor. Comput. Sci.
Number
2
Pages
315−352
Volume
138
Year
1995