Jump to : Contact | BibTex reference | EndNote reference |


P. Roop, A. Girault, R. Sinha, G. Gössler. Specification Enforcing Refinement for Convertibility Verification. In Proc. ACSD'09, S. Edwards, R. Lorenz, W. Vogler (eds.), Pages 148-157, 2009.


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

BibTex Reference

   Author = {Roop, P. and Girault, A. and Sinha, R. and Gössler, G.},
   Title = {Specification Enforcing Refinement for Convertibility Verification},
   BookTitle = {Proc. ACSD'09},
   editor = {Edwards, S. and Lorenz, R. and Vogler, W.},
   Pages = {148--157},
   Publisher = {IEEE},
   Year = {2009}

EndNote Reference [help]

Get EndNote Reference (.ref)