Publikationseintrag

Zeitschriftenartikel:

H. Veith:
"Special Issue: Games in Verification (foreword)";
Journal of Computer and System Sciences, 78 (2012), 2; S. 393.

"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)

http://dx.doi.org/10.1016/j.jcss.2011.05.007

Elektronische Version der Publikation:

http://publik.tuwien.ac.at/files/PubDat_208971.pdf