Searching for "On the Construction of Automata from Linear Arithmetic Constraints." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

On the Construction of Automata from Linear Arithmetic Constraints
by Pierre Wolper, Bernard Boigelot — 2000 — Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science
…On the Construction of Automata from Linear Arithmetic Constraints ? Pierre Wolper and Bernard…
Cited by 25 (0 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB