Cita APA (7a ed.)

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

Cita Chicago Style (17a ed.)

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

Cita MLA (9a ed.)

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