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., FIT (FIT), 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