CITATION STYLE
Servat, T. (2006). Brama: A new graphic animation tool for B models clearsy - 2007 B conference. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4355 LNCS, pp. 274–276). Springer Verlag. https://doi.org/10.1007/11955757_28
Mendeley helps you to discover research relevant for your work.