Search

You searched for: Auteur Peled, Doron A. Remove constraint Auteur: Peled, Doron A.
1 - 4 of 4
Number of results to display per page

Search Results

1. Runtime Verification
thumbnail
Full text!
Author:
Bensalem, Saddek; Kanade, Takeo; Peled, Doron A.; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2009
Format:
e-book
2. Time for Verification
thumbnail
Full text!
Author:
Manna, Zohar; Kanade, Takeo; Peled, Doron A.; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2010
Format:
e-book
3. Verification, Model Checking, and Abstract Interpretation
thumbnail
Full text!
Author:
Logozzo, Francesco; Peled, Doron A.; Zuck, Lenore D.; Zuck, Leonore D.
Publisher:
Springer Berlin Heidelberg 2008
Format:
e-book
4. Model Checking and Artificial Intelligence
thumbnail
Full text!
Author:
Peled, Doron A.; Kanade, Takeo; Wooldridge, Michael J.; Kittler, Josef; Wooldridge, Michael
Publisher:
Springer Berlin Heidelberg 2009
Format:
e-book