Casper Thule et al.: Towards the Verification of Hybrid Co-simulation Algorithms. (2018)conf/staf/ThuleGDLBV1810.1007/978-3-030-04771-9_1Towards the Verification of Hybrid Co-simulation Algorithms.6Casper Thule1Cláudio Gomes 00012Julien Deantoni3Peter Gorm Larsen4Jörg Brauer5Hans Vangheluwe65-20STAF WorkshopsSTAF Workshops20182018provenance information for RDF data of dblp record 'conf/staf/ThuleGDLBV18'2022-02-28T17:19:58+0100