Automated formal analysis of networks

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
Categorie Soggetti
Current Book Contents
Journal title
DEPENDABLE NETWORK COMPUTING → ACNP
Volume
538
Year of publication
2000
Pages
143 - 166
Database
ISI
SICI code