Publications
Thesis (Server halma.mpi-inf.mpg.de)
Thesis
Doctoral dissertation | @PhdThesis{Tzakova1999, ... | Doktorarbeit
Tzakova, Miroslava
Hybrid Languages
Universität des Saarlandes, 1999
Harald Ganzinger
Hans Jürgen Ohlbach
Hans Jürgen Ohlbach
Completed
17
January
2000
Reinhard Wilhelm
Max-Planck-Institut für Informatik
Programming Logics Group
experts only
MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat
BibTeX Entry:
@PHDTHESIS{Tzakova1999,
AUTHOR = {Tzakova, Miroslava},
TITLE = {Hybrid Languages},
SCHOOL = {Universit{\"a}t des Saarlandes},
YEAR = {1999},
TYPE = {Doctoral dissertation}
}
AUTHOR = {Tzakova, Miroslava},
TITLE = {Hybrid Languages},
SCHOOL = {Universit{\"a}t des Saarlandes},
YEAR = {1999},
TYPE = {Doctoral dissertation}
}
Entry last modified by Miroslava Tzakova, 03/12/2010
Edit History (please click the blue arrow to see the details) | Editor(s) Miroslava Tzakova | Created 01/18/2000 02:45:02 PM |
| Revision 1. 0. | Editor Miroslava Tzakova Miroslava Tzakova | Edit Date 18/01/2000 14:48:37 18/01/2000 14:45:02 |