Viktorio Semir el Hakim, Marco Jan Gerrit Bekooij. Stability Verification of Self-Timed Control Systems Using Model-Checking. In Martin Novotný, Nikos Konofaos, Amund Skavhaug, editors, 21st Euromicro Conference on Digital System Design, DSD 2018, Prague, Czech Republic, August 29-31, 2018. pages 312-319, IEEE Computer Society, 2018. [doi]
Abstract is missing.