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 (2016) Challenges in decomposing encodings of verification problems. Electronic Proceedings in Theoretical Computer Science, 219. pp. 29-32. ISSN 2075-2180

This list was generated on Mon Sep 25 14:29:26 2017 BST.