Julio Peralta. Bridging Signal with the CADP model checker, a preliminary study. Deliverable F342, 2007.
@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}
}
Charger la référence EndNote (.ref)
This page is part the Espresso project web site.
It has been automatically generated using the bib2html program.