![](/img/cover-not-exists.png)
Verifying Industrial Hybrid Systems with MathSAT
Gilles Audemard, Marco Bozzano, Alessandro Cimatti, Roberto SebastianiVolume:
119
Year:
2005
Language:
english
Pages:
16
DOI:
10.1016/j.entcs.2004.12.022
File:
PDF, 319 KB
english, 2005