André, É., Jacobs, S., Karra, S. L., & Sankur, O. (2024). Parameterized Verification of Timed Networks with Clock Invariants.
Chicago-Zitierstil (17. Ausg.)André, Étienne, Swen Jacobs, Shyam Lal Karra, und Ocan Sankur. Parameterized Verification of Timed Networks with Clock Invariants. 2024.
MLA-Zitierstil (9. Ausg.)André, Étienne, et al. Parameterized Verification of Timed Networks with Clock Invariants. 2024.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.