CITATION STYLE
Gargantini, A., Riccobene, E., & Scandurra, P. (2008). Exploiting the ASM method for validation & verification of embedded systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5238 LNCS, p. 348). https://doi.org/10.1007/978-3-540-87603-8_36
Mendeley helps you to discover research relevant for your work.