18 citations · 36 across the 7 of their papers we have counts for
1 paper · 2 filters
Jinsheng Ba, Marcel Böhme, Zahra Mirzamomen +1
Many protocol implementations are reactive systems, where the protocol process is in continuous interaction with other processes and the environment. If a bug can be exposed only i…