GoesslerRaclet2009

G. Gössler, J.-B. Raclet. Modal Contracts for Component-based Design. In Proc. SEFM'09 (accepted), 2009.

BibTex Reference

@InProceedings{GoesslerRaclet2009,
   Author = {Gössler, G. and Raclet, J.-B.},
   Title = {Modal Contracts for Component-based Design},
   BookTitle = {Proc. SEFM'09 (accepted)},
   Publisher = {IEEE},
   Year = {2009}
}

EndNote Reference [help]

Get EndNote Reference (.ref)