Special Issue: Games in Verification (bibtex)
by Helmut Veith
Reference:
Special Issue: Games in VerificationHelmut VeithJ. Comput. Syst. Sci., volume 78, number 2, pages 393, 2012.
Bibtex Entry:
@article{Veith12:JCSS,
  author    = {Helmut Veith},
  title     = {Special Issue: Games in Verification},
  journal   = {J. Comput. Syst. Sci.},
  volume    = {78},
  number    = {2},
  year      = {2012},
  pages     = {393},
  url        = {http://dx.doi.org/10.1016/j.jcss.2011.05.007}
}
Powered by bibtexbrowser