Correction: (Un)Solvable loop analysis.
Saved in:
| Title: | Correction: (Un)Solvable loop analysis. |
|---|---|
| Authors: | Amrollahi, Daneshvar1, daneshvar.amrollahi@tuwien.ac.at, Bartocci, Ezio1, ezio.bartocci@tuwien.ac.at, Kenison, George1, george.kenison@tuwien.ac.at, Kovács, Laura1, laura.kovacs@tuwien.ac.at, Moosbrugger, Marcel1, marcel.moosbrugger@tuwien.ac.at, Stankovič, Miroslav1, miroslav.stankovic@tuwien.ac.at |
| Source: | Formal Methods in System Design; Dec2025, Vol. 67 Issue 3, p373-374, 2p |
| Database: | Applied Science & Technology Source |
| ISSN: | 09259856 |
|---|---|
| DOI: | 10.1007/s10703-024-00465-y |
