| Title | Experiences with the Application of Symbolic Model Checking to the Analysis of Software Specifications |
| Publication Type | Conference Paper |
| Year of Publication | 1999 |
| Authors | Anderson RJ, Chan W, Beame P, Notkin D |
| Conference Name | Proceedings of the Andrei Ershov Third International Conference on Perspectives of System Informatics |
| Pagination | 355-361 |
| Conference Location | Novosibirsk, Russia |
| Citation Key | acbn:siberia |
