Author:
Eckardt Tobias,Heinzemann Christian,Henkler Stefan,Hirsch Martin,Priesterjahn Claudia,Schäfer Wilhelm
Publisher
Springer Science and Business Media LLC
Reference42 articles.
1. Lecture Notes in Computer Science (LNCS);R Alur,1999
2. Lecture notes in computer science;R Alur,2008
3. Alur R, Courcoubetis C, Dill D (1993) Model-checking in dense real-time. Inf Comput 104:2–34
4. Bauer J, Wilhelm R (2007) Static analysis of dynamic communication systems. In: File G, Nielson HR (eds) 14th international static analysis symposium, vol 4634. Springer, Berlin. http://www.model.in.tum.de/~joba/sas07.pdf
5. Becker B, Beyer D, Giese H, Klein F, Schilling D (2006) Symbolic invariant verification for systems with dynamic structural adaptation. In: Proc. of the 28th international conference on software engineering (ICSE), Shanghai, China. ACM, New York, pp 72–81
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献