Darondeau2001b

Philippe Darondeau, Luciano Lavagno (eds.). Proceedings of the Workshop on Synthesis of Concurrent Systems. Newcastle upon Tyne, UK, June 2001.

Keyword

[ Nets ]

Contact

Philippe Darondeau

BibTex Reference

@Book{Darondeau2001b,
   Author = {Darondeau, Philippe and Lavagno (eds.), Luciano},
   Title = {Proceedings of the Workshop on Synthesis of Concurrent Systems},
   Address = {Newcastle upon Tyne, UK},
   Month = {June},
   Year = {2001}
}

EndNote Reference [help]

Get EndNote Reference (.ref)