CITATION STYLE
Baelde, D., Gacek, A., Miller, D., Nadathur, G., & Tiu, A. (2007). The Bedwyr system for model checking over syntactic expressions. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4603 LNAI, pp. 391–397). Springer Verlag. https://doi.org/10.1007/978-3-540-73595-3_28
Mendeley helps you to discover research relevant for your work.