Jump to : Contact | BibTex reference | EndNote reference |

Roopetal2009

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.

Contact

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

BibTex Reference

@InProceedings{Roopetal2009,
   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)