- Referenced in 3 articles
- ARTP: a buffer-aware rate control protocol for...
- Referenced in 298 articles
- NuSMV is a symbolic model checker developed as...
- Referenced in 130 articles
- CADP (”Construction and Analysis of Distributed Processes”, formerly...
- Referenced in 23 articles
- The nuXmv Symbolic Model Checker. This paper describes...