Login / Signup
Madabhushi Srinivasan
Publication Activity (10 Years)
Years Active: 2003-2003
Publications (10 Years): 0
</>
Publications
</>
Eva Fordran
,
Matthias Fruth
,
Ulrich Hensel
,
Hu Shaoyu
,
Madabhushi Srinivasan
Model Checking in an Industrial Environment.
MBMV
(2003)