Publication detail

Preliminaries of Model Checking Based on Symbolic Execution

KŘENA, B.

Original Title

Preliminaries of Model Checking Based on Symbolic Execution

Type

report

Language

English

Authors

KŘENA, B.

Released

29. 7. 2004

Publisher

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

Location

Miláno

Pages count

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