| Home | << 1 >> |
|
| Author | Title | Year | Publication | Publisher | ISSN | ISBN | DOI | Volume | Pages  |
|---|---|---|---|---|---|---|---|---|---|
| Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Tini, Simone; Troina, Angelo; Tronci, Enrico | Automatic Analysis of the NRL Pump | 2004 | Electr. Notes Theor. Comput. Sci. | 10.1016/j.entcs.2004.02.011 | 99 | 245-266 |