sacres-I1.1A

Sacres Consortium. Task I1.1A: StateMate integration - the stm2dcplus translator. Esprit project EP 20897: Sacres, April 1998.

BibTex Reference

@Misc{sacres-I1.1A,
   Author = {Consortium, Sacres},
   Title = {Task I1.1A: StateMate integration - the stm2dcplus translator},
   BookTitle = {Esprit project EP 20897: Sacres},
   Month = {April},
   Year = {1998}
}

EndNote Reference [help]

Get EndNote Reference (.ref)

This page is part the Espresso project web site.
It has been automatically generated using the bib2html program.