Author:
Kupferschmid Sebastian,Hoffmann Jörg,Dierks Henning,Behrmann Gerd
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Holzmann, G.: The Spin Model Checker - Primer and Reference Manual. Addison-Wesley, Reading (2003)
2. Behrmann, G., Bengtsson, J., David, A., Larsen, K.G., Pettersson, P., Yi., W.: UPPAAL implementation secrets. In: Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems (2002)
3. Lecture Notes in Computer Science;S. Edelkamp,2001
4. Edelkamp, S., Lluch-Lafuente, A., Leue, S.: Directed explicit-state model checking in the validation of communication protocols. International Journal on Software Tools for Technology (2004)
5. Lecture Notes in Computer Science;K. Dräger,2006
Cited by
27 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献