Visible to the public Biblio

Filters: Author is Kim G. Larsen  [Clear All Filters]
2018-05-14
Sergiy Bogomolov, Marius Greitschus, Peter G. Jensen, Kim G. Larsen, Marius Mikucionis, Thomas Strump, Stavros Tripakis.  2015.  Co-Simulation of Hybrid Systems with SpaceEx and Uppaal. Proceedings of the 11th International Modelica Conference.