Author:
Babaee Reza,Gurfinkel Arie,Fischmeister Sebastian
Publisher
Springer International Publishing
Reference46 articles.
1. Aalergia:
http://mi.cs.aau.dk/code/aalergia/
. Accessed 15 Mar 2018
2. Lecture Notes in Computer Science;BK Aichernig,2017
3. Lecture Notes in Computer Science;R Babaee,2018
4. Baier, C., Katoen, J.: Principles of Model Checking. MIT Press, Cambridge (2008)
5. Bauer, A., Leucker, M., Schallhart, C.: The good, the bad, and the ugly, but how ugly is ugly? In: 7th International Workshop RV, pp. 126–138 (2007)
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献