## Andreas Podelski

*Model Checking as Constraint Solving*

SAS, 2000.

@inproceedings{SAS-2000-Podelski, author = "Andreas Podelski", booktitle = "{Proceedings of the Seventh International Static Analysis Symposium}", doi = "10.1007/978-3-540-45099-3_2", isbn = "3-540-67668-6", pages = "22--37", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Model Checking as Constraint Solving}", volume = 1824, year = 2000, }