Result: Algorithms and data structures for parametric analysis of real-time systems

*Title*:

*Author/editor-in-chief*:

*Manufacture*:

2009

*Physical description scale*:

1 Online-Ressource

*Format*:

*eBook*

*Language*:

*eng*

*Dissertation note*:

Dissertation, Georg-August Universität Göttingen, 2009

*Subject Added Keywords*:

*Result*: Algorithms and data structures for parametric analysis of real-time systems