Showing 1 - 2 results of 2 for search 'Inverso, Omar', query time: 0.06s Refine Results
  1. 1
    Bounded model checking of multi-threaded programs via sequentialization
    by Inverso, Omar
    Published 2015
    Get full text
  2. 2
    On the path-width of integer linear programming
    Get fulltext
    Article
Search Tools: Get RSS Feed — Email this Search