CITATION STYLE
Delfieu, D., & Sahraoui, A. E. K. (2005). Automata timing specification. In 11th International Conference on Analysis and Optimization of Systems Discrete Event Systems (pp. 115–121). Springer-Verlag. https://doi.org/10.1007/bfb0033540
Mendeley helps you to discover research relevant for your work.