Review of Logical Analysis of Hybrid Systems
From MaRDI portal
Publication:6120987
DOI10.1145/3561612OpenAlexW4318477535MaRDI QIDQ6120987
Publication date: 23 February 2024
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/3561612
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Cites Work
This page was built for publication: Review of Logical Analysis of Hybrid Systems