Author:
Bonchi Filippo,Gadducci Fabio,Monreale Giacoma Valentina
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Lecture Notes in Computer Science;L. Birkedal,2008
2. ENTCS;F. Bonchi,2009
3. Bonchi, F., Gadducci, F., Monreale, G.V.: On barbs and labels in reactive systems. In: Klin, B., Sobocinski, P. (eds.) SOS 2009. EPTCS, vol. 18, pp. 46–61 (2009)
4. Lecture Notes in Computer Science;F. Bonchi,2009
5. Lecture Notes in Computer Science;F. Bonchi,2008
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献