A Uniform Constraint-based Framework for the Verification of Infinite State Systems
Universität des Saarlandes, May, 2001
Andreas Podelski
C. R. Ramakrishnan
Completed
22
May
2001
Gert Smolka
Max-Planck-Institut für Informatik
Programming Logics Group
Expert
MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat
BibTeX Entry:
@PHDTHESIS{Mukhopadhyay-Thesis-2001,
AUTHOR = {Mukhopadhyay, Supratik},
TITLE = {A Uniform Constraint-based Framework for the Verification of Infinite State Systems},
SCHOOL = {Universit{\"a}t des Saarlandes},
YEAR = {2001},
TYPE = {Doctoral dissertation}
MONTH = {May},
}