Doron A. Peled

10 works Add another?

Sort by:

Most Editions

Most Editions First Published Most Recent Top Rated Reading Log Random

— 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

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
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
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
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
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
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
Preview

Time For Verification Essays In Memory Of Amir Pnueli

by Doron A. Peled First published in 2010 — 1 edition

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

Add to List

My Reading Lists:

Create a new list

ID Numbers

OLID: OL2683481A

Links outside Open Library

No links yet. Add one?

History

Created April 29, 2008
1 revision

Download catalog record: RDF / JSON

April 29, 2008

Created by an anonymous user

initial import

Doron A. Peled

10 works Add another?

Preview Book

Create a new list

Subjects

Lists

Add to List

ID Numbers

Links outside Open Library

History