Publisher
Springer International Publishing
Reference61 articles.
1. Alur, R., & Dill, D. L. (1994). A theory of timed automata. Theoretical Computer Science, 126(2), 183–235.
https://doi.org/10.1016/0304-3975(94)90010-8
.
2. Balan, M. S. (2009). Serializing the parallelism in parallel communicating pushdown automata systems. Electronic Proceedings in Theoretical Computer Science, 3, 59–68.
https://doi.org/10.4204/EPTCS.3.5
.
3. Baier, C., & Katoen, J.-P. (2008). Principles of model checking. Cambridge, MA: MIT Press. ISBN: 9780262026499.
4. Behrmann, G., David, A., & Larsen, K. G. (2006). A tutorial on Uppaal 4.0. Aalborg, Denmark. URL:
http://www.it.uu.se/research/group/darts/papers/texts/new-tutorial.pdf
.
5. Bérard, B., Cassez, F., Haddad, S., Lime, D., & Roux, O. H. (2005). Comparison of the expressiveness of timed automata and time Petri nets. In Third International Conference, FORMATS 2005, Uppsala, Sweden, 26–28 September 2005 (pp. 211–225). Berlin Heidelberg: Springer.
https://doi.org/10.1007/11603009_17
.