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
FMCAD
View Statistics
Email Alert
RSS Feed
Book details
Book details
Buch-Details
Book title
Buchtitel
FMCAD
Publications
Publikationen
Show/Hide filters
Author
3
Veith, Helmut
2
Zuleger, Florian
1
Demyanova, Yulia
1
John, Annu
1
Konnov, Igor
1
Schmid, Ulrich
1
Sinn, Moritz
1
Widder, Josef
Date issued
3
2000 - 2024
Close filters
Results 1-3 of 3 (Search time: 0.001 seconds).
RIS
EndNote
Bibtex
Send via email
Preview
Author(s)
Title
Type
Issue Date
1
Sinn, Moritz
; Veith, Helmut
; Zuleger, Florian
Difference Constraints: An adequate Abstraction for Complexity Analysis of Imperative Programs
Konferenzbeitrag
Inproceedings
2015
2
Demyanova, Yulia
; Veith, Helmut
; Zuleger, Florian
On the concept of variable roles and its use in software analysis
Konferenzbeitrag
Inproceedings
2013
3
John, Annu
; Konnov, Igor
; Schmid, Ulrich
; Veith, Helmut
; Widder, Josef
Parameterized model checking of fault-tolerant distributed algorithms by abstraction
Konferenzbeitrag
Inproceedings
2013