Items where Author is "Kovacs, L"
Group by: Item Type | No Grouping
Jump to: Article
Number of items: 1.
Article
Amrollahi, D, Bartocci, E, Kenison, G ORCID: 0000-0002-7661-7061, Kovacs, L, Moosbrugger, M and Stankovic, M
(2024)
(Un)Solvable loop analysis.
FORMAL METHODS IN SYSTEM DESIGN.
ISSN 0925-9856