Browse by Journal

Up a level
Export as [feed] RSS
Group by: Item Type | No Grouping
Jump to: Article
Number of items: 1.

Article

Schrammel, Peter and Jeannet, Bertrand (2012) Applying abstract acceleration to (co-)reachability analysis of reactive programs. Journal of Symbolic Computation, 47 (12). pp. 1512-1532. ISSN 0747-7171

This list was generated on Fri Apr 28 22:41:12 2017 BST.