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
Gulwani, Sumit
Network Lab
View Statistics
Email Alert
RSS Feed
Profile
Profil
Publications
Publikationen
Projects
APIs
Name Card
Full name
Familienname, Vorname
Gulwani, Sumit
Contributing Publications
Mitbeteiligte Publikationen
(Theses)
All
Theses
Show/Hide filters
Access Type
1
Open Access
Author
1
Zuleger, Florian
Subject
1
Erreichbarkeitsschranke
1
Reachability-bound
1
Static Analysis
1
statische Analyse
Date issued
1
2010 - 2019
Publication Type
1
Thesis
Close filters
Results 1-1 of 1 (Search time: 0.002 seconds).
RIS
EndNote
Bibtex
Preview
Author(s)
Title
Type
Issue Date
1
Zuleger, Florian
Resource bound analysis of imperative programs
Thesis
Hochschulschrift
2011
Claim Researcher Page
Contact via feedback form
If you want contact administrator site clicking the follow button