Publisher
Springer International Publishing
Reference78 articles.
1. Springer series in reliability engineering;EG Amparore,2016
2. Lecture Notes in Computer Science;F Arnold,2013
3. Babiak, T., Blahoudek, F., Duret-Lutz, A., Klein, J., Kretínský, J., Müller, D., Parker, D., Strejcek, J.: The Hanoi omega-automata format. In: Kroening, D., Păsăreanu, C.S. (eds.) CAV 2015. LNCS, vol. 9206, pp. 479–486. Springer, Cham (2015).
https://doi.org/10.1007/978-3-319-21690-4_31
4. Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008)
5. Lecture Notes in Computer Science;C Baier,1999
Cited by
37 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献