Symbolic Data Structure Based on Intervals for Parametric Verification

MATOUŠEK, P.

Original Title

Symbolic Data Structure Based on Intervals for Parametric Verification

English Title

Symbolic Data Structure Based on Intervals for Parametric Verification

Type

Lecture

Keywords

symbolic data structure, parametric verification, intervals

Key words in English

symbolic data structure, parametric verification, intervals

Authors

MATOUŠEK, P.

Released

16.05.2005

Location

Seminary UIFS, FIT VUT Brno

Pages count

30

URL

http://www.fit.vutbr.cz/~matousp/doc/2005/phcubes2005.pdf

Full text in the Digital Library

http://hdl.handle.net/

BibTex

@misc{BUT64635,
  author="Petr {Matoušek}",
  title="Symbolic Data Structure Based on Intervals for Parametric Verification",
  year="2005",
  pages="30",
  address="Seminary UIFS, FIT VUT Brno",
  url="http://www.fit.vutbr.cz/~matousp/doc/2005/phcubes2005.pdf"
}