Search for persons
X
?
Proceedings of the conference on Design, Automation & Test in Europe ,
3
Tightening BDD-based approximate reachability with SAT-base..:
, In:
?
2014 Design, Automation & Test in Europe Conference & Exhibition (DATE) ,
4
Tightening BDD-based approximate reachability with SAT-base..:
, In:
?
Proceedings of the Conference on Design, Automation and Test in Europe ,
5
Fast cone-of-influence computation and estimation in proble..:
, In:
?
IEEE Nuclear Science Symposium Conference Record, 2005 ,
6