It looks like you're offline.

Last edited anonymously

April 29, 2008 | History

Edit

Doron A. Peled

We need a photo of Doron A. Peled

10 works Add another?

Most Editions

Most Editions First Published Most Recent Top Rated Reading Log Trending Random

Details Grid — Show only ebooks?

Preview

Preview Book
×Close

Model Checking

by Edmund M. Clarke Jr., Orna Grumberg, and Doron A. Peled First published in 1999
5 editions, 1 ebook

Locate

My Reading Lists:

Create a new list

Create a new list
×Close

Name:

Description:

Cancel
Software Reliability Methods

by Doron A. Peled and E.M. Clarke First published in 2011
3 editions

Locate

My Reading Lists:

Create a new list
Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings (Lecture Notes in Computer Science)

by Doron A. Peled First published in 2005
2 editions

Locate

My Reading Lists:

Create a new list
Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings (Lecture Notes in Computer Science)

by Rajeev Alur and Doron A. Peled First published in 2004
2 editions

Locate

My Reading Lists:

Create a new list
Software Reliability Methods (Texts in Computer Science)

by Doron A. Peled First published in 2001
1 edition

Locate

My Reading Lists:

Create a new list
Time for Verification: Essays in Memory of Amir Pnueli

by Zohar Manna and Doron A. Peled First published in 2010
1 edition

Locate

My Reading Lists:

Create a new list
Formal Techniques for Networked and Distributed Systems - FORTE 2002: 22nd IFIP WG 6. 1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings

by Doron A. Peled and Moshe Y. Vardi First published in 2003
1 edition

Locate

My Reading Lists:

Create a new list
Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers

by Doron A. Peled and Michael Wooldridge First published in 2009
1 edition

Locate

My Reading Lists:

Create a new list
Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings

by Francesco Logozzo, Doron A. Peled, and Leonore D. Zuck First published in 2008
1 edition

Locate

My Reading Lists:

Create a new list
Preview

Time For Verification Essays In Memory Of Amir Pnueli

by Doron A. Peled First published in 2010
1 edition, 1 ebook

Locate

My Reading Lists:

Create a new list

We need a photo of Doron A. Peled

Add to List

My Reading Lists:

Create a new list

ID Numbers

OLID: OL2683481A

Links outside Open Library

No links yet. Add one?

Download catalog record: RDF / JSON