Showing 1 - 1 results of 1 for search 'Cockx Johan', query time: 0.02s Refine Results
  1. 1
    SPRINT: A Tool to Generate Concurrent Transaction-Level Models from Sequential Code

    SPRINT: A Tool to Generate Concurrent Transaction-Level Models from Sequential Code by Cockx Johan, Denolf Kristof, Vanhoof Bart, Stahl Richard

    Published 2007-01-01
    Get full text
    Article

Search Tools: