Doron Peled

No bio available. Add one in Open Library.

Books by Doron Peled (50 max)

+ shelf+ list

Computer Aided Verification: 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings (Lecture Notes in Computer Science)

1999

Nicolas Halbwachs, Doron Peled

+ shelf+ list

Automated Technology for Verification and Analysis 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

2016

Cyrille Artho, Axel Legay, Doron Peled

+ shelf+ list

Model Checking, Second Edition

2018

Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith, Edmund M. Clarke