1989
Contribution to book
Unknown
Equivalence verification: theory, algorithms, and a tool
Bolognesi T., Caneve M.
equivalence verification
No abstract available
Source: The formal description technique LOTOS -- Results of the ESPRIT/SEDOS project, pp. 302–326, 1989
Back to previous page
BibTeX entry
@inbook{oai:it.cnr:prodotti:418314,
title = {Equivalence verification: theory, algorithms, and a tool},
author = {Bolognesi T. and Caneve M.},
booktitle = {The formal description technique LOTOS -- Results of the ESPRIT/SEDOS project, pp. 302–326, 1989},
year = {1989}
}
0000-0003-0854-2587CNR ExploRA