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

Raanan Gewirtzman

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

1994
2 Ilan Beer, Shoham Ben-David, Daniel Geist, Raanan Gewirtzman, Michael Yoeli: Methodology and System for Practical Formal Verification of Reactive Hardware. CAV 1994: 182-193
1991
1EEEsther Levin, Raanan Gewirtzman, Gideon F. Inbar: Neural network architecture for adaptive system modeling and control. Neural Networks 4(2): 185-191 (1991)

Coauthor Index

1Ilan Beer [2]
2Shoham Ben-David [2]
3Daniel Geist [2]
4Gideon F. Inbar [1]
5Esther Levin [1]
6Michael Yoeli [2]

Colors in the list of coauthors

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