Jump to : Contact | BibTex reference | EndNote reference |

topcased342

Julio Peralta. Bridging Signal with the CADP model checker, a preliminary study. Deliverable F342, 2007.

Contact

Julio Peralta

BibTex Reference

@Misc{topcased342,
   Author = {Peralta, Julio},
   Title = {Bridging Signal with the CADP model checker, a preliminary study},
   BookTitle = {Deliverable F342},
   Publisher = {ANR project Topcased},
   Year = {2007}
}

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.