Search alternatives:
descriptions based » description based, descriptors based, descriptor based
descriptive case » descriptive clause, descriptive based, descriptive phase

1
Published 1996
Springer Berlin Heidelberg
Table of Contents: ... by induction with associative-commutative operators -- Analysis of timed systems based on time-abstracting...

2
Published 1996
Springer Berlin Heidelberg
Table of Contents: ... based approach to the design of hybrid control systems containing clocks -- Refinements of approximating...