Linear Approximation of Execution-Time Constraints.

Published in: Formal Aspects Comput. (2003)

Keyphrases