Result 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. 28 p.
Type
report
Language
English
Authors
Křena Bohuslav, Ing., Ph.D., DITS (FIT)
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
@misc{BUT192522,
author="Bohuslav {Křena}",
title="Preliminaries of Model Checking Based on Symbolic Execution",
year="2004",
pages="28",
publisher="Universita degli Studi di Milano - Bicocca; Dipartimento di Informatica, Sistemistica e Comunicazione; Laboratory of Test and Analysis",
address="Miláno",
url="http://www.lta.disco.unimib.it/doc/ei/pdf/lta.2004.04.pdf"
}
Departments