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}
}