dblp.uni-trier.dewww.uni-trier.de

Iris Reuveni

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2001
1 Yael Abarbanel-Vinov, Neta Aizenbud-Reshef, Ilan Beer, Cindy Eisner, Daniel Geist, Tamir Heyman, Iris Reuveni, Eran Rippel, Irit Shitsevalov, Yaron Wolfsthal, Tali Yatzkar-Haham: On the Effective Deployment of Functional Formal Verification. Formal Methods in System Design 19(1): 35-44 (2001)

Coauthor Index

1Yael Abarbanel-Vinov [1]
2Neta Aizenbud-Reshef [1]
3Ilan Beer [1]
4Cindy Eisner [1]
5Daniel Geist [1]
6Tamir Heyman [1]
7Eran Rippel [1]
8Irit Shitsevalov [1]
9Yaron Wolfsthal (Yaron Wolfstahl) [1]
10Tali Yatzkar-Haham [1]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)