26 citations · 121 across the 20 of their papers we have counts for
1 paper · 2 filters
Jan Pachl
The paper deals with the verification of reachability properties in a commonly used state transition model of communication protocols, which consists of finite state machines conne…