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

Bednarczyk2001a

M. Bednarczyk, P. Darondeau. Looking for diamonds. In Proceedings of the Workshop on Synthesis of Concurrent Systems, P. Darondeau, L. Lavagno (eds.), Pages 11-18, Newcastle upon Tyne, UK, June 2001.

Keyword

[ Nets ]

Contact

Philippe Darondeau

BibTex Reference

@InProceedings{Bednarczyk2001a,
   Author = {Bednarczyk, M. and Darondeau, P.},
   Title = {Looking for diamonds},
   BookTitle = {Proceedings of the Workshop on Synthesis of Concurrent Systems},
   editor = {Darondeau, P. and Lavagno, L.},
   Pages = {11--18},
   Address = {Newcastle upon Tyne, UK},
   Month = {June},
   Year = {2001}
}

EndNote Reference [help]

Get EndNote Reference (.ref)