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