@inproceedings{4c7cdb0827c746fc943dd579c3a0d059,
title = "Co-Simulation of Hybrid Systems with SpaceEx and Uppaal",
author = "Sergiy Bogomolov and Marius Greitschus and Jensen, {Peter G.} and Larsen, {Kim G.} and Marius Mikucionis and Andreas Podelski and Thomas Strump and Stavros Tripakis",
year = "2015",
doi = "10.3384/ecp15118159",
language = "English",
pages = "1--10",
booktitle = "Co-Simulation of Hybrid Systems with SpaceEx and Uppaal",
publisher = "Linkoping University Electronic Press",
edition = "Peer Reviewed",
note = "11th International Modelica Conference 2015 ; Conference date: 01-01-2015",
}