Innovations
Conference Web Proceedings
Authors index
Conferences
Authors index
Markovski, Jasen
Jasen Markovski
Papers (2)
Supervisory Coordination of Timed Communicating Processes
(20) pp. 209-218
Jasen Markovski
Verifying Liveness in Supervised Systems Using UPPAAL and mCRL2
(29) pp. 295-304
Jasen Markovski
and
M. A. Reniers
