Author:
Nouri Ayoub,Raman Balaji,Bozga Marius,Legay Axel,Bensalem Saddek
Publisher
Springer International Publishing
Reference27 articles.
1. Baier, C., Katoen, J.-P.: Principles of Model Checking (Representation and Mind Series). The MIT Press (2008)
2. Lecture Notes in Computer Science;A. Basu,2012
3. Lecture Notes in Computer Science;S. Bensalem,2012
4. Lecture Notes in Computer Science;A. Legay,2010
5. Bulychev, P.E., David, A., Larsen, K.G., Mikucionis, M., Poulsen, D.B., Legay, A., Wang, Z.: Uppaal-smc: Statistical model checking for priced timed automata. In: QAPL 2012, pp. 1–16 (2012)
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献