Detail publikace

Preliminaries of Model Checking Based on Symbolic Execution

KŘENA Bohuslav. 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.
Typ
technická zpráva
Jazyk
angličtina
Autoři
URL
Rok
2004
Strany
28
Vydavatel
Universita degli Studi di Milano - Bicocca; Dipartimento di Informatica, Sistemistica e Comunicazione; Laboratory of Test and Analysis
Místo
Miláno, IT
BibTeX
@TECHREPORT{FITPUB7537,
   author = "Bohuslav K\v{r}ena",
   title = "Preliminaries of Model Checking Based on Symbolic Execution",
   pages = 28,
   year = 2004,
   location = "Mil\'{a}no, IT",
   publisher = "Universita degli Studi di Milano - Bicocca; Dipartimento di Informatica, Sistemistica e Comunicazione; Laboratory of Test and Analysis",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7537"
}
Nahoru