Using SPARK as a Solver for Modelica

TitleUsing SPARK as a Solver for Modelica
Publication TypeConference Paper
AuthorsMichael Wetter, Philip Haves, Michael A. Moshier, Edward F. Sowell