Toggle navigation
reposiTUm
ABOUT REPOSITUM
HELP
Login
News
Browse by
Publication Types
Organizations
Researchers
Projects
TU Wien Academic Press
Open Access Series
Theses
Digitised Works
Year of Publication
View Statistics
Email Alert
RSS Feed
Book details
Publications
Publikationen
Show/Hide filters
Author
1
Amrollahi , Daneshvar
1
Bartocci, Ezio
1
Kenison, George
1
Kovács, Laura
1
Moosbrugger, Marcel
1
Stankovič, Miroslav
Subject
1
Algebraic recurrences
1
Invariant synthesis
1
Solvable operators
1
Verification
Date issued
1
2000 - 2024
Close filters
Results 1-1 of 1 (Search time: 0.001 seconds).
RIS
EndNote
Bibtex
Send via email
Preview
Authors / Editors
Title
Type
Issue Date
1
Amrollahi , Daneshvar
;
Bartocci, Ezio
;
Kenison, George
;
Kovács, Laura
;
Moosbrugger, Marcel
;
Stankovič, Miroslav
Solving Invariant Generation for Unsolvable Loops
Inproceedings
Konferenzbeitrag
2022
