Skip to main content

Browsing by Author Weissenbacher, G

Showing results 1 to 1 of 1
Publication DateArticle TitleAuthor(s)
26-Aug-2015Boolean Satisfiability Solvers and Their Applications in Model CheckingVizel, Y; Weissenbacher, G; Malik, Sharad