## George S. Avrunin

*Symbolic Model Checking Using Algebraic Geometry*

CAV, 1996.

@inproceedings{CAV-1996-Avrunin, author = "George S. Avrunin", booktitle = "{Proceedings of the Eighth International Conference on Computer Aided Verification}", doi = "10.1007/3-540-61474-5_55", isbn = "3-540-61474-5", pages = "26--37", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Symbolic Model Checking Using Algebraic Geometry}", volume = 1102, year = 1996, }