Publications
Export 1 results:
Author Title Type [ Year] Filters: Keyword is Presburger systems [Clear All Filters]
2005. Efficient temporal-logic query checking for presburger systems. Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering. :24-33.