Cover Image
Read Now

1
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... Topology Invariants -- Complete SAT-Based Model Checking for Context-Free Processes -- Bounded Model...”