Author:
Neele Thomas,Willemse Tim A. C.,Groote Jan Friso
Publisher
Springer International Publishing
Reference26 articles.
1. Lecture Notes in Computer Science;R Alur,1992
2. Lecture Notes in Computer Science;G Behrmann,2004
3. Bouajjani, A., Fernandez, J.-C., Halbwachs, N., Raymond, P., Ratel, C.: Minimal state graph generation. Sci. Comput. Programm. 18(3), 247–269 (1992)
4. Lecture Notes in Computer Science;T Chen,2007
5. Lecture Notes in Computer Science;E Clarke,2000
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献