Jump to : Keyword | Contact | BibTex reference | EndNote reference |

Darondeau2001b

P. Darondeau, L. 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, P. and Lavagno (eds.), L.},
   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)