Publisher
Springer International Publishing
Reference18 articles.
1. Lecture Notes in Computer Science;R Alur,2004
2. Lecture Notes in Computer Science;R Alur,1998
3. Lecture Notes in Computer Science;R Alur,1999
4. Baier, C., Katoen, J.P.: Principles of Model Checking. MIT press, Cambridge (2008)
5. Benerecetti, M., et al.: Dynamic state machines for modelling railway control systems. Sci. Comput. Program. 133, 116–153 (2017). https://doi.org/10.1016/j.scico.2016.09.002, https://www.sciencedirect.com/science/article/pii/S0167642316301332. formal Techniques for Safety-Critical Systems (FTSCS 2014)