DMCA

A Kleene Theorem and Model Checking Algorithms for Existentially Bounded Communicating Automata (2006)

by Blaise Genest , Dietrich Kuske , Anca Muscholl
Venue:INFORMATION AND COMPUTATION 204:920–956
Citations:27 - 7 self