Using SPARK as a Solver for Modelica
| Title | Using SPARK as a Solver for Modelica |
| Publication Type | Conference Paper |
| Authors | Michael Wetter, Philip Haves, Michael A. Moshier, Edward F. Sowell |
| Title | Using SPARK as a Solver for Modelica |
| Publication Type | Conference Paper |
| Authors | Michael Wetter, Philip Haves, Michael A. Moshier, Edward F. Sowell |
