Publisher
Springer Science and Business Media LLC
Reference60 articles.
1. Alur R, Dill D (1992) The theory of timed automata, Springer Berlin Heidelberg, Berlin, Heidelberg, pp 45–73. https://doi.org/10.1007/BFb0031987
2. Aspord E, Becker J, Grangier E (2014) Link human/robot. Van Dieren eds
3. Banterle F, Cardillo FA, Malomo L, et al (2015) Leccear: An augmented reality app. In: Digital Presentation and Preservation of Cultural and Scientific Heritage – DiPP2015. Institute of Mathematics and Informatics - Bulgarian Academy of Sciences, Acad. Georgi Bonchev Str., Block 8 Sofia (1113), Bulgaria, pp 99–108, http://vcg.isti.cnr.it/Publications/2015/BCMPGA15
4. Barreto FM, Julia S (2014) Modeling and analysis of video games based on workflow nets and state graphs. In: Proceedings of 24th annual international conference on computer science and software engineering. IBM Corp., Riverton, NJ, USA, CASCON ’14, pp 106–119
5. Bause F, Kritzinger P (2013) Stochastic Petri Nets -An Introduction to the Theory