Publication detail
TReX and IF
MATOUŠEK, P.
Original Title
TReX and IF
Type
lecture
Language
English
Keywords
parametric analysis, timed model-checker, TReX
Authors
MATOUŠEK, P.
Released
2. 5. 2005
Location
ParaDiSe seminary, FI MU Brno
Pages count
38
URL
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"
}