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

GenestKM06

B. Genest, D. Kuske, A. Muscholl. A Kleene Theorem and Model Checking for a Class of Communicating Automata. Information and Computation, 204(6):920-956, 2006.

Keywords

[ Partial orders ] [ Scenarios ]

Contact

Blaise Genest http://perso.crans.org/~genest/

BibTex Reference

@article{GenestKM06,
   Author = {Genest, B. and Kuske, D. and Muscholl, A.},
   Title = {A Kleene Theorem and Model Checking for a Class of Communicating    Automata},
   Journal = {Information and Computation},
   Volume = {204},
   Number = {6},
   Pages = {920--956},
   Year = {2006}
}

EndNote Reference [help]

Get EndNote Reference (.ref)