Detail publikace

Preliminaries of Model Checking Based on Symbolic Execution

KŘENA, B.

Originální název

Preliminaries of Model Checking Based on Symbolic Execution

Typ

zpráva odborná

Jazyk

angličtina

Autoři

KŘENA, B.

Vydáno

29. 7. 2004

Nakladatel

Universita degli Studi di Milano - Bicocca; Dipartimento di Informatica, Sistemistica e Comunicazione; Laboratory of Test and Analysis

Místo

Miláno

Strany počet

28

URL

http://www.lta.disco.unimib.it/doc/ei/pdf/lta.2004.04.pdf

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"
}