Detail publikace
TReX and IF
MATOUŠEK, P. TReX and IF. ParaDiSe seminary, FI MU Brno: 2005.
Typ
přednáška
Jazyk
anglicky
Autoři
URL
Klíčová slova
parametric analysis, timed model-checker, TReX
Rok
2005
Strany
38
Místo
ParaDiSe seminary, FI MU Brno
BibTeX
@misc{BUT64632,
author="Petr {Matoušek}",
title="TReX and IF",
year="2005",
pages="38",
address="ParaDiSe seminary, FI MU Brno",
url="http://www.fit.vutbr.cz/~matousp/doc/2005/trex-intro.pdf",
note="lecture"
}