Jump to : Contact | BibTex reference | EndNote reference |

BadouelBBCD07

Eric Badouel, Marek Bednarczyk, Andrzej Borzyszkowski, Benoît Caillaud, Philippe Darondeau. Concurrent Secrets. Discrete Event Dynamic Systems, 17(4):425-446, 2007.

Contact

Eric Badouel http://people.rennes.inria.fr/Eric.Badouel/index.html
Philippe Darondeau

BibTex Reference

@article{BadouelBBCD07,
   Author = {Badouel, Eric and Bednarczyk, Marek and Borzyszkowski, Andrzej and Caillaud, Benoît and Darondeau, Philippe},
   Title = {Concurrent Secrets},
   Journal = {Discrete Event Dynamic Systems},
   Volume = {17},
   Number = {4},
   Pages = {425--446},
   Year = {2007}
}

EndNote Reference [help]

Get EndNote Reference (.ref)