Automatic Analysis of the NRL Pump

Conference Paper

Publication Date:

2004

Iris type:

Relazione (in Rivista)

List of contributors:

Lanotte, Ruggero; Maggiolo Schettini, A.; Tini, Simone; Troina, A.; Tronci, E.

Authors of the University:

LANOTTE RUGGERO

TINI SIMONE

Handle:

https://irinsubria.uninsubria.it/handle/11383/1709629

Published in:

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE

Journal