Search for persons
X
?
Proceedings of the IEEE/ACM International Conference on Computer-Aided Design ,
8
Property-Directed Synthesis of Reactive Systems from Safety..:
, In:
?
Proceedings of the International Conference on Computer-Aided Design ,
10
Reactant minimization during sample preparation on digital ..:
, In:
?
2007 25th International Conference on Computer Design ,
13