Subject
General Computer Science,Theoretical Computer Science
Reference28 articles.
1. M. von der Beeck, V. Braun, A. ClaBen, A. Dannecker, C. Friedrich, D. Koschützki, T. Margaria, F. Schreiber, B. Steffen: Graphs in METAFrame: The Unifying Power of Polymorphism, Proc. TACAS'97, Enschede (NL), März 1997, LNCS 1217, Springer Verlag, pp. 112-129.
2. The ToolBus Coordination Architecture;Bergstra,1996
3. V. Braun, T. Margaria, C. Weise: Integrating Tools in the ETI Platform, [26], pp. 31-48.
4. R. Cleaveland, P. Lewis, S. Smolka, O. Sokolski: The Concurrency Factory: A Development Environment for Concurrent Sysytems, Proc. CAV'96 - Juli-Aug. 1996, New Brunswick, NJ, USA, LNCS 1102, pp.398-401, Springer Verlag.
5. Using the Bandera Tool Set to Model-check Properties of Concurrent Java Software;Hatcliff,2001
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献