Author:
Abate Alessandro,Brim Luboš,Češka Milan,Kwiatkowska Marta
Publisher
Springer International Publishing
Reference31 articles.
1. Abate, A., Katoen, J.-P., Lygeros, J., Prandini, M.: Approximate model checking of stochastic hybrid systems. Eur. J. Control 16, 624–641 (2010)
2. Lecture Notes in Computer Science;A Abate,2014
3. Lecture Notes in Computer Science;A Angius,2012
4. Baier, C., Katoen, J.-P.: Principles of Model Checking. The MIT Press, Cambridge (2008)
5. Lecture Notes in Computer Science;L Bortolussi,2012
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献