Doron A. Peled profile picture

Doron A. Peled

Is this your author profile? Create an account to customize it!

Stand Alone

Automated Technology for Verification and Analysis
Time For Verification Essays In Memory Of Amir Pnueli
Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings
Software Reliability Methods
Engineering Dependable Software Systems
Time for Verification Essays in Memory of Amir Pnueli
Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings
Formal Techniques for Networked and Distributed Systems - FORTE 2002 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings
Formal Techniques for Networked and Distributed Systems - FORTE 2002 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings