## Hardi Hungar

*Combining Model Checking and Theorem Proving to Verify Parallel Processes*

CAV, 1993.

@inproceedings{CAV-1993-Hungar, author = "Hardi Hungar", booktitle = "{Proceedings of the Fifth International Conference on Computer Aided Verification}", doi = "10.1007/3-540-56922-7_13", isbn = "3-540-56922-7", pages = "154--165", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Combining Model Checking and Theorem Proving to Verify Parallel Processes}", volume = 697, year = 1993, }