Moshe Emmer
According to our database1,
Moshe Emmer
authored at least 2 papers
between 2010 and 2012.
Collaborative distances:
Collaborative distances:
Timeline
2010
2011
2012
0
1
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2012
Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012
2010
Encoding industrial hardware verification problems into effectively propositional logic.
Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010