Authors: Reed, J Jackson, D Deinov, B Reed, M

Citation: J. Reed et al., Automated formal analysis of networks, KLUW ENGN C, 538, 2000, pp. 143-166