Compositional Verification of Infinite State Systems.

Academic Article

Publication Date:

2003

Iris type:

1.1 Articolo in rivista

List of contributors:

Delzanno, Giorgio; Gabbrielli, Maurizio; Meo, MARIA CHIARA

Authors of the University:

MEO MARIA CHIARA

Handle:

https://ricerca.unich.it/handle/11564/101881

Published in:

LECTURE NOTES IN COMPUTER SCIENCE

Journal

LECTURE NOTES IN COMPUTER SCIENCE

Series