APA (7th ed.) Citation

Lieb, A., Göttmann, H., Luthmann, L., Lochau, M., & Schürr, A. (2024). Checking Timed Bisimilarity with Virtual Clocks.

Chicago Style (17th ed.) Citation

Lieb, Alexander, Hendrik Göttmann, Lars Luthmann, Malte Lochau, and Andy Schürr. Checking Timed Bisimilarity with Virtual Clocks. 2024.

MLA (9th ed.) Citation

Lieb, Alexander, et al. Checking Timed Bisimilarity with Virtual Clocks. 2024.