Marius Bozga, Susanne Graf, Laurent Mounier. Automated validation of distributed software using the IF environment. In 2001 IEEE International Symposium on Network Computing and Applications (NCA 2001), 2001.
Download paper: Adobe portable document (pdf)
Copyright notice:
[ Model-based verification techniques ]
@InProceedings{Bozga-Graf-Mounier-01c,
Author = {Bozga, Marius and Graf, Susanne and Mounier, Laurent},
Title = {Automated validation of distributed software using the IF environment},
BookTitle = {2001 IEEE International Symposium on Network Computing and Applications (NCA 2001)},
Publisher = {IEEE},
Year = {2001}
}
Get EndNote Reference (.ref)