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"
}