DI)

Identifiers

• name variant DI) 0.60 · backfill

Papers (1)

1. Modular Abstractions of Reactive Nodes using Disjunctive Invariants cs.PL · 2011 · author #3

Mentions

• 1109.1905 #3 · backfill · confidence 0.70 DI)

Frequent Coauthors

• David Monniaux (VERIMAG - Imag) 1 shared papers
• Martin Bodin (VERIMAG - IMAG 1 shared papers