1. Conferences
  2. Authors index
  3. A. Reniers, M.

M. A. Reniers Papers (1)

Verifying Liveness in Supervised Systems Using UPPAAL and mCRL2

(29) pp. 295-304 Jasen Markovski and M. A. Reniers

© Association for Information and Communication Technologies www.ict-act.org Developed by tdelev