author-photo

M.S. Jahanpour

1

Papers

3

Citations

Citation Trend

Filter By

Papers (1) Sort By

Journal Conference Others

Automatic generation of model checking properties and constraints from production based specification

2004 MWCAS | Midwest Symposium on Circuits and Systems
- M.S. Jahanpour
- O. A. Mohamed
Show All
- Source
- Cite
- Save
Citations (3)