Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Roscoe, A.W.: Understanding Concurrent Systems. Springer (2010)
2. De Alfaro, L., Henzinger, T.: Interface automata. ACM SIGSOFT Software Engineering Notes 26(5), 109–120 (2001)
3. Lecture Notes in Computer Science;S.S. Bauer,2010
4. Siirtola, A.: Bounds website,
http://www.cs.hut.fi/u/siirtoa1/bounds
5. Siirtola, A.: Bounds: from parameterised to finite-state verification. In: Caillaud, B., Carmona, J., Hiraishi, K. (eds.) ACSD 2011, pp. 31–35. IEEE (2011)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献