Search alternatives:
smash » slash
sweath » sheath, sweat, sweats
swat » sweat, swan, seat
sat » salt, satz
spath » spat, xpath, spate
-plate » -plates, -place
Cover Image
Read Now

1
Published 2017
Springer Berlin Heidelberg
Table of Contents: “... for Markov Automata -- SAT and SMT -- HiFrog: SMT-based Function Summarization for Software Verification...”
Cover Image
Read Now

2
Published 2017
Springer Berlin Heidelberg
Table of Contents: “... Pushdown Automata Using Partial Max-SAT -- Concurrency and Bisimulation -- CSimpl: a Framework...”
Cover Image
Read Now

3
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... -- Model Checking 1 -- Pruning Techniques for the SAT-Based Bounded Model Checking Problem -- Heuristics...”