Cerans, Karlis

• BRICS Report Series No. 11 (1997): RS-11 Timed Modal Specification —Theory and Tools - Articles
  Timed Modal Specification —Theory and Tools
  Abstract  PDF