Statistics
Publications
4
Citations
62
H-Index
4
Active since
2013
Affiliations
Baruch Sterin is an author at University of California, Berkeley specializing in computer science, formal methods, and computing.
Publications per year
2013–2015
4
4
A circuit approach to LTL model checking
Koen Claessen, Niklas Eén, Baruch Sterin · 2013 · 16 citations
Simulation graphs for reverse engineering
Mathias Soeken, Baruch Sterin, Rolf Drechsler et al. · 2015 · 15 citations
1–4 of 4