Generalized fair reachability analysis for cyclic protocols
IEEE/ACM Transactions on Networking (TON)
An approach to cyclic protocol validation
Computer Communications
Validation of protocols with temporal constraints
Computer Communications
Hi-index | 0.00 |