GoesslerSifakis2003

G. Goessler, J. Sifakis. Component-Based Construction of Deadlock-Free Systems (Extended Abstract). In proc. FSTTCS'03, LNCS, Volume 2914, 2003.

Contact

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

BibTex Reference

@InProceedings{GoesslerSifakis2003,
   Author = {Goessler, G. and Sifakis, J.},
   Title = {Component-Based Construction of Deadlock-Free Systems (Extended Abstract)},
   BookTitle = {proc. FSTTCS'03},
   Volume = {2914},
   Series = {LNCS},
   Publisher = {Springer-Verlag},
   Year = {2003}
}

EndNote Reference [help]

Get EndNote Reference (.ref)