P. Le Guernic. Specification and verification of parallel systems. In Proceedings of the French-Israel Workshop on formal verification for hardware and software, 1991.
@InProceedings{leguernic91d,
Author = {Le Guernic, P.},
Title = {Specification and verification of parallel systems},
BookTitle = {Proceedings of the French-Israel Workshop on formal verification for hardware and software},
Year = {1991}
}
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.