Author:
Zhu Chenyang,Butler Michael,Cirstea Corina
Publisher
Springer International Publishing
Reference19 articles.
1. Abrial, J.R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (2005)
2. Abrial, J.R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)
3. Alur, R., Henzinger, T.A.: Finitary fairness. In: Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, pp. 52–61, July 1994
4. Alur, R.: Principles of Cyber-Physical Systems. The MIT Press, Cambridge (2015)
5. Alur, R., Dill, D.L.: A theory of timed automata. Theoret. Comput. Sci. 126(2), 183–235 (1994)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献