(Un)Solvable loop analysis.
Saved in:
| Title: | (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; Apr2025, Vol. 65 Issue 1, p163-194, 32p |
| Database: | Applied Science & Technology Source |
| ISSN: | 09259856 |
|---|---|
| DOI: | 10.1007/s10703-024-00455-0 |
