Electronic Notes in Theoretical Computer ScienceVolume 99, 6 August 2004, Pages 245-266Automatic Analysis of the NRL Pump☆Author links open overlay panelRuggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini, Angelo Troina, Enrico TronciShow moreShareCitehttps://doi.org/10.1016/j.entcs.2004.02.011Get rights and contentUnder a Creative Commons licenseopen accessPrevious article in issueNext article in issueRecommended articlesCited by (0)☆Research partially supported by progetto cofinanziato “Metodi Formali per la Sicurezza e il Tempo”(MEFISTO)Copyright © 2004 Elsevier B.V.