Publications

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