26 citations · 121 across the 20 of their papers we have counts for
1 paper · 1 filter
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…