Author:
Ober Iulian,Dragomir Iulia
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Lecture Notes in Computer Science;M. Bozga,2004
2. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)
3. Lecture Notes in Computer Science;A. Cuccuru,2008
4. Damm, W., Josko, B., Pnueli, A., Votintseva, A.: A discrete-time UML semantics for concurrency and communication in safety-critical applications. Sci. Comput. Program. 55(1-3), 81–115 (2005)
5. Dragomir, I., Ober, I.: Well-formedness and typing rules for UML composite structures (November 2010), http://arxiv.org/abs/1010.6155
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献