Reverse Engineering with Simulation Graphs

@inproceedings{pub7939,
    author = {

Soeken, Mathias
 and 

Sterin, Baruch
 and 

Drechsler, Rolf
 and 

Brayton, Robert K.
},
    title = {Reverse Engineering with Simulation Graphs},
    booktitle = {Formal Methods in Computer Aided Design (FMCAD). Formal Methods in Computer-Aided Design (FMCAD), September 27-30, Austin, TX, United States},
    year = {2015}
}