Showing 1 - 3 results of 3 for search '"d.3.1, f.4.3"', query time: 4.42s Refine Results
  1. 1
    Extended Initiality for Typed Abstract Syntax

    Extended Initiality for Typed Abstract Syntax by Benedikt Ahrens

    Published 2012-04-01
    Subjects:
    Get full text
    Article
  2. 2
    Context-Bounded Analysis For Concurrent Programs With Dynamic Creation of Threads

    Context-Bounded Analysis For Concurrent Programs With Dynamic Creation of Threads by Mohamed Faouzi Atig, Ahmed Bouajjani, Shaz Qadeer

    Published 2011-11-01
    Subjects:
    Get full text
    Article
  3. 3
    Model-Checking of Ordered Multi-Pushdown Automata

    Model-Checking of Ordered Multi-Pushdown Automata by Mohamed Faouzi Atig

    Published 2012-09-01
    Subjects:
    Get full text
    Article

Search Tools: