Items where Author is "Kovacs, L"
![[up]](/style/images/multi_up.png)
Up a levelGroup by: Item Type | No Grouping
Number of items: 1.
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, 65.
pp. 163-194.
ISSN 0925-9856