CITATION STYLE
Legay, A. (2008). T(O)RMC: A tool for (ω)-regular model checking - Tool paper. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5123 LNCS, pp. 548–551). https://doi.org/10.1007/978-3-540-70545-1_52
Mendeley helps you to discover research relevant for your work.