Author:
Komárková Zuzana,Křetínský Jan
Publisher
Springer International Publishing
Reference31 articles.
1. Lecture Notes in Computer Science;T. Babiak,2013
2. Lecture Notes in Computer Science;T. Babiak,2013
3. Baier, C., Katoen, J.-P.: Principles of model checking. MIT Press (2008)
4. Lecture Notes in Computer Science;T. Babiak,2012
5. Lecture Notes in Computer Science;F. Blahoudek,2013
Cited by
27 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献