From MTL to Deterministic Timed Automata

Nickovic, D.; Piterman, N.

From MTL to Deterministic Timed Automata (bibtex)

@string{lncs="<A HREF=http://www.springer.de/comp/lncs/index.html>Lecture Notes in Computer Science</A>"}
@string{springer="© Springer-Verlag"}
@InProceedings{NP10,
  author = 	 {D. Nickovic and N. Piterman},
  title = 	 {From MTL to Deterministic Timed Automata},
  booktitle = {8th International Conference on Formal Modelling and Analysis of Timed Systems},
  pages = 	 {152-167},
  year = 	 {2010},
  volume = 	 {6246},
  series = 	 lncs,
  pdf = {2010/NP10.pdf},
  url = {2010/NP10.html},  
  publisher = springer,
  keywords = {Temporal Logic,Automata},
}