Showing 1 - 2 results of 2 for search 'Marius Bozga', query time: 0.02s Refine Results
  1. 1
    Deciding Conditional Termination

    Deciding Conditional Termination by Radu Iosif, Filip Konecny, Marius Bozga

    Published 2014-08-01
    Get full text
    Article
  2. 2
    Compositional Verification for Timed Systems Based on Automatic Invariant Generation

    Compositional Verification for Timed Systems Based on Automatic Invariant Generation by Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem, Marius Bozga, Jacques Combaz

    Published 2015-09-01
    Get full text
    Article

Search Tools: