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

G. Ronin

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

1997
1 Ilan Beer, Shoham Ben-David, Cindy Eisner, Daniel Geist, Leonid Gluhovsky, Tamir Heyman, Avner Landver, P. Paanah, Yoav Rodeh, G. Ronin, Yaron Wolfsthal: RuleBase: Model Checking at IBM. CAV 1997: 480-483

Coauthor Index

1Ilan Beer [1]
2Shoham Ben-David [1]
3Cindy Eisner [1]
4Daniel Geist [1]
5Leonid Gluhovsky [1]
6Tamir Heyman [1]
7Avner Landver [1]
8P. Paanah [1]
9Yoav Rodeh [1]
10Yaron Wolfsthal (Yaron Wolfstahl) [1]

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