Jean-Claude Fernandez, Hubert Garavel, Laurent Mounier, Anne Rasse, Carlos Rodr\'\iguez, Joseph Sifakis. Une boîte à outils pour la vérification de programmes LOTOS. In Actes du Colloque Francophone pour l'Ingénierie des Protocoles CFIP'91 (Pau, France), Omar Rafiq (ed.), Pages 479-500, September 1991.
Download paper: Adobe portable document (pdf)
Copyright notice:
[ Model-based verification techniques ]
@InProceedings{Fernandez-Garavel-Mounier-Rasse-Rodriguez-Sifakis-91,
Author = {Fernandez, Jean-Claude and Garavel, Hubert and Mounier, Laurent and Rasse, Anne and Rodr\'\iguez, Carlos and Sifakis, Joseph},
Title = {Une boîte à outils pour la vérification de programmes LOTOS},
BookTitle = {Actes du Colloque Francophone pour l'Ingénierie des Protocoles CFIP'91 (Pau, France)},
editor = {Rafiq, Omar},
Pages = {479--500},
Publisher = {Hermès},
Month = {September},
Year = {1991}
}
Get EndNote Reference (.ref)