Casper Thule, Cláudio Gomes, Julien DeAntoni, Peter Gorm Larsen, Jörg Brauer, Hans Vangheluwe. Towards the Verification of Hybrid Co-simulation Algorithms. In Manuel Mazzara, Iulian Ober, Gwen Salaün, editors, Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers. Volume 11176 of Lecture Notes in Computer Science, pages 5-20, Springer, 2018. [doi]
Abstract is missing.