Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Caillaud, Benoît Delahaye, Axel Legay. Statistical Abstraction and Model-Checking of Large Heterogeneous Systems. In Formal Techniques for Distributed Systems, Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings, John Hatcliff, Elena Zucca (eds.), Lecture Notes in Computer Science, Volume 6117, Pages 32-46, 2010.
Download paper:
Doi page
Download paper:
Adobe portable document (pdf) 
Copyright notice:This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.
[ Component ]
Benoît Caillaud http://www.irisa.fr/prive/Benoit.Caillaud/
@InProceedings{Basu10a,
Author = {Basu, Ananda and Bensalem, Saddek and Bozga, Marius and Caillaud, Benoît and Delahaye, Benoît and Legay, Axel},
Title = {Statistical Abstraction and Model-Checking of Large Heterogeneous Systems},
BookTitle = {Formal Techniques for Distributed Systems, Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings},
editor = {Hatcliff, John and Zucca, Elena},
Volume = {6117},
Pages = {32--46},
Series = {Lecture Notes in Computer Science},
Publisher = {Springer},
Year = {2010}
}
Get EndNote Reference (.ref)