Detail publikace

Preliminaries of Model Checking Based on Symbolic Execution

KŘENA, B. Preliminaries of Model Checking Based on Symbolic Execution. Miláno: Universita degli Studi di Milano - Bicocca; Dipartimento di Informatica, Sistemistica e Comunicazione; Laboratory of Test and Analysis, 2004.
Název česky
Příprava pro model checking založený na symbolickém provádění
Typ
zpráva odborná
Jazyk
anglicky
Autoři
Křena Bohuslav, Ing., Ph.D. (UITS)
URL
Rok
2004
Strany
28
Vydavatel
Universita degli Studi di Milano - Bicocca; Dipartimento di Informatica, Sistemistica e Comunicazione; Laboratory of Test and Analysis
Místo
Miláno
BibTeX 
@techreport{BUT192522,
  author="Bohuslav {Křena}",
  title="Preliminaries of Model Checking Based on Symbolic Execution",
  year="2004",
  publisher="Universita degli Studi di Milano - Bicocca; Dipartimento di Informatica, Sistemistica e Comunicazione; Laboratory of Test and Analysis",
  address="Miláno",
  pages="28",
  url="http://www.lta.disco.unimib.it/doc/ei/pdf/lta.2004.04.pdf"
}
Nahoru