Publications
Thesis (Server halma.mpi-inf.mpg.de)
Thesis
Doctoral dissertation | @PhdThesis{Mukhopadhyay-Thesis-2001, ... | Doktorarbeit
Mukhopadhyay, Supratik
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},
}
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},
}
Entry last modified by Anja Becker, 07/08/2011
Edit History (please click the blue arrow to see the details) | Editor(s) Supratik Mukhopadhyay | Created 06/21/2001 05:32:33 PM |
| Revisions 4. 3. 2. 1. 0. | Editor(s) Anja Becker Uwe Brahm Uwe Brahm Manfred Jaeger Manfred Jaeger | Edit Dates 08.07.2011 13:14:09 08/24/2001 06:45:41 PM 08/24/2001 06:44:13 PM 24/08/2001 14:43:03 21/06/2001 17:32:36 |