skip to main content
Lingue:

Special Issue: Games in Verification

Veith, Helmut

Journal of Computer and System Sciences, 2012, Vol.78(2), pp.393-393 [Rivista Peer Reviewed]

Fulltext disponibile

Vedi tutte le versioni
Citazioni Citato da
  • Titolo:
    Special Issue: Games in Verification
  • Autore: Veith, Helmut
  • Fa parte di: Journal of Computer and System Sciences, 2012, Vol.78(2), pp.393-393
  • Soggetti: Engineering ; Computer Science
  • Lingua: Inglese
  • Tipo: Articolo
  • Identificativo: ISSN: 0022-0000 ; E-ISSN: 1090-2724 ; DOI: 10.1016/j.jcss.2011.05.007
  • Fonte: ScienceDirect Journals (Elsevier)

Ricerca in corso nelle risorse remote ...