GoesslerSifakis2004

G. Goessler, J. Sifakis. Priority Systems. In proc. FMCO'03, F. de Boer, M. Bonsangue, S. Graf, W.-P. de Roever (eds.), LNCS, Volume 3188, Pages 314-329, 2004.

Contact

Gregor Goessler http://pop-art.inrialpes.fr/people/goessler/Welcome.html

BibTex Reference

@InProceedings{GoesslerSifakis2004,
   Author = {Goessler, G. and Sifakis, J.},
   Title = {Priority Systems},
   BookTitle = {proc. FMCO'03},
   editor = {de Boer, F. and Bonsangue, M. and Graf, S. and de Roever, W.-P.},
   Volume = {3188},
   Pages = {314--329},
   Series = {LNCS},
   Publisher = {Springer-Verlag},
   Year = {2004}
}

EndNote Reference [help]

Get EndNote Reference (.ref)