CITATION STYLE
Braghin, C., Cortesi, A., Filippone, S., Focardi, R., Luccio, F. L., & Piazza, C. (2003). BANANA - A tool for boundary ambients nesting analysis. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2619, 437–441. https://doi.org/10.1007/3-540-36577-x_32
Mendeley helps you to discover research relevant for your work.