Author:
Graf Susanne,Peled Doron,Quinton Sophie
Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. Lecture Notes in Computer Science;A. Basu,2009
2. Basu, A., Bozga, M., Sifakis, J.: Modeling heterogeneous real-time components in BIP. In: SEFM, pp. 3–12. IEEE Computer Society Press, Los Alamitos (2006)
3. Lecture Notes in Computer Science;G. Katz,2010
4. Orlin, J.B.: Contentment in graph theory: covering graphs with cliques (1977)
5. Pérez, J.A., Corchuelo, R., Toro, M.: An order-based algorithm for implementing multiparty synchronization. Concurrency - Practice and Experience 16(12), 1173–1206 (2004)
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献