Jump to : Contact | BibTex reference | EndNote reference |

BadouelCD02

Eric Badouel, Benoît Caillaud, Philippe Darondeau. Distributing Finite Automata Through Petri Net Synthesis. Formal Aspects of Computing, 13(6):447-470, 2002.

Contact

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

BibTex Reference

@article{BadouelCD02,
   Author = {Badouel, Eric and Caillaud, Benoît and Darondeau, Philippe},
   Title = {Distributing Finite Automata Through Petri Net Synthesis},
   Journal = {Formal Aspects of Computing},
   Volume = {13},
   Number = {6},
   Pages = {447--470},
   Year = {2002}
}

EndNote Reference [help]

Get EndNote Reference (.ref)