[Back]


Books and Book Editorships:
L. Kovacs, T. Kutsia:
"Special Issue on Automated Speci cation and Veri cation of Web Systems";
in series "Journal of Applied Logic", series editor: J. Siekmann et al.; Elsevier B.V., 2012, ISSN: 1570-8683, 162 pages.

"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1016/j,jal.2011.11.01

Created from the Publication Database of the Vienna University of Technology.