Click on the title to view the text:
Schreiner, Wolfgang and Reichl, Franz-Xaver
Mathematical Model Checking Based on Semantics and SMT