D.N. Xu, G. Gössler, A. Girault. Probabilistic Contracts for Component-based Design. In International Symposium on Automated Technology for Verification and Analysis, ATVA'10, A. Bouajjani, W.-N. Chin (eds.), LNCS, Volume 6252, Pages 325-340, Singapore, September 2010.
Alain Girault http://pop-art.inrialpes.fr/people/girault/
@InProceedings{XuGoesslerGirault2010,
Author = {Xu, D.N. and Gössler, G. and Girault, A.},
Title = {Probabilistic Contracts for Component-based Design},
BookTitle = {International Symposium on Automated Technology for Verification and Analysis, ATVA'10},
editor = {Bouajjani, A. and Chin, W.-N.},
Volume = {6252},
Pages = {325--340},
Series = {LNCS},
Publisher = {Springer-Verlag},
Address = {Singapore},
Month = {September},
Year = {2010}
}
Get EndNote Reference (.ref)