Automated verification for real-time systems. Via implicit clocks and an extended Antimirov algorithm

DOI10.1007/978-3-031-30823-9_29zbMATH Open1543.68229MaRDI QIDQ6535374

Wei-Ngan Chin, Yahui Song

Publication date: 13 December 2023

Mathematics Subject Classification ID

Could not fetch data.

This page was built for publication: Automated verification for real-time systems. Via implicit clocks and an extended Antimirov algorithm

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6535374)