Jean-Claude Fernandez, Hubert Garavel, Laurent Mounier, Anne Rasse, Carlos Rodr\'\iguez, Joseph Sifakis. A Toolbox for the Verification of LOTOS Programs. In Proceedings of the 14th International Conference on Software Engineering ICSE'14 (Melbourne, Australia), Lori A. Clarke (ed.), Pages 246-259, May 1992.
Download paper: Adobe portable document (pdf)
Copyright notice:
[ Model-based verification techniques ]
@InProceedings{Fernandez-Garavel-Mounier-Rasse-Rodriguez-Sifakis-92,
Author = {Fernandez, Jean-Claude and Garavel, Hubert and Mounier, Laurent and Rasse, Anne and Rodr\'\iguez, Carlos and Sifakis, Joseph},
Title = {A Toolbox for the Verification of LOTOS Programs},
BookTitle = {Proceedings of the 14th International Conference on Software Engineering ICSE{'14} (Melbourne, Australia)},
editor = {A. Clarke, Lori},
Pages = {246--259},
Publisher = {ACM},
Month = {May},
Year = {1992}
}
Get EndNote Reference (.ref)