@inproceedings{ab0ec53ffbc6483ea292bf4b72dab277,
title = "Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps",
author = "Hansen, \{Simon Thrane\} and Cl{\'a}udio Gomes and Maurizio Palmieri and Casper Thule and \{van de Pol\}, Jaco and Jim Woodcock",
note = "Publisher Copyright: {\textcopyright} 2021, Springer Nature Switzerland AG.; 26th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2021 ; Conference date: 24-08-2021 Through 26-08-2021",
year = "2021",
doi = "10.1007/978-3-030-85248-1\_1",
language = "English",
isbn = "978-3-030-85248-1",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "3--20",
editor = "Lafuente, \{A L\} and A Mavridou",
booktitle = "Formal Methods for Industrial Critical Systems",
address = "Netherlands",
}