Blaise Genest, Dietrich Kuske, Anca Muscholl. A Kleene theorem and model checking algorithms for existentially bounded communicating automata. Inf. Comput., 204(6):920-956, 2006. [doi]
No references recorded for this publication.
No citations of this publication recorded.