Bibliography
Coverability Structure Based Analysis
Roxana Melinte.
Coverability structure based analysis.
Technical Report TR 02-05, University ``A.I.Cuza'' of Iasi,
Faculty of Computer Science, 2002.
BibTeX
@TechReport{Melinte03,
author = {Melinte, Roxana},
title = {Coverability Structure Based Analysis},
institution = {University ``A.I.Cuza'' of Ia\c{s}i, Faculty of Computer Science},
year = 2002,
number = {TR 02-05}
}
