Publication Details
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. p. 0-0.
Czech title
Příprava pro model checking založený na symbolickém provádění
Type
report
Language
English
Authors
Křena Bohuslav, Ing., Ph.D.
(DITS)
URL
Published
2004
Pages
28
Publisher
Universita degli Studi di Milano - Bicocca; Dipartimento di Informatica, Sistemistica e Comunicazione; Laboratory of Test and Analysis
Place
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"
}