Author:
Brosch Petra,Egly Uwe,Gabmeyer Sebastian,Kappel Gerti,Seidl Martina,Tompits Hans,Widl Magdalena,Wimmer Manuel
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Lecture Notes in Computer Science;F.S. Boer de,2005
2. Baier, C., Katoen, J.-P.: Principles of Model Checking. MIT Press (2008)
3. Broy, M., Cengarle, M.: UML Formal Semantics: Lessons Learned. SoSyM 10(4) (2011)
4. Lecture Notes in Computer Science;J. Rivera,2009
5. Cimatti, A., Mover, S., Tonetta, S.: Proving and Explaining the Unfeasibility of Message Sequence Charts for Hybrid Systems. In: FMCAD (2011)
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献