APA (7th ed.) Citation

Lieb, A., & Lochau, M. (2026). Witnesses and Counterexamples for Timed Bisimulation (AE). Zenodo.

Chicago Style (17th ed.) Citation

Lieb, Alexander, and Malte Lochau. Witnesses and Counterexamples for Timed Bisimulation (AE). Zenodo, 2026.

MLA (9th ed.) Citation

Lieb, Alexander, and Malte Lochau. Witnesses and Counterexamples for Timed Bisimulation (AE). Zenodo, 2026.

Warning: These citations may not always be 100% accurate.