Login / Signup
Faster Algorithms for the Nonemptiness of Streett Automata and for Communication Protocol Pruning.
Monika Rauch Henzinger
Jan Arne Telle
Published in:
SWAT (1996)
Keyphrases
</>
communication protocol
search space
pruning algorithms
mobile phone
deadlock detection