fmgals07

International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Design, FMGALS'07. A. Girault, R. de Simone (eds.), ENTCS, No 1, Elsevier Science, New-York, Nice, France, May 2007.

BibTex Reference

@Book{fmgals07,
   Title = {International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Design, FMGALS'07},
   editor = {Girault, A. and de Simone, R.},
   Volume = {    200},
   Number = {1},
   Series = {ENTCS},
   Publisher = {Elsevier Science, New-York},
   Address = {Nice, France},
   Month = {May},
   Year = {2007}
}

EndNote Reference [help]

Get EndNote Reference (.ref)