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

Darondeau2007d

P. Darondeau. Synthesis and Control of Asynchronous and Distributed Systems. In 78th International Conference on Application of Concurrency to System Design, T. Basten, G. Juhas, S. Shukla (eds.), Bratislava, Slovak Republic, July 2007.

Keyword

[ Control ]

Contact

Philippe Darondeau

BibTex Reference

@InProceedings{Darondeau2007d,
   Author = {Darondeau, P.},
   Title = {Synthesis and Control of Asynchronous and Distributed Systems},
   BookTitle = {78th International Conference on Application of Concurrency to System    Design},
   editor = {Basten, T. and Juhas, G. and Shukla, S.},
   Address = {Bratislava, Slovak Republic},
   Month = {July},
   Year = {2007}
}

EndNote Reference [help]

Get EndNote Reference (.ref)