Showing 1 - 1 results of 1 for search 'Cezara Dragoi', query time: 0.02s Refine Results
  1. 1
    A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes

    A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes by Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Yan Jurski, Mihaela Sighireanu

    Published 2009-04-01
    Get full text
    Article

Search Tools: