Jump to : Contact | BibTex reference | EndNote reference |

XuGoesslerGirault2010

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.

Contact

Alain Girault http://pop-art.inrialpes.fr/people/girault/

BibTex Reference

@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}
}

EndNote Reference [help]

Get EndNote Reference (.ref)