Cop and Robber Games When the Robber Can Hide and Ride
SIAM Journal on Discrete Mathematics
RV'11 Proceedings of the Second international conference on Runtime verification
Propositional dynamic logic with converse and repeat for message-passing systems
CONCUR'12 Proceedings of the 23rd international conference on Concurrency Theory
GOAL for games, omega-automata, and logics
CAV'13 Proceedings of the 25th international conference on Computer Aided Verification
| Hi-index | 0.00 |