M. Gabbrielli

Identifiers

No identifiers captured yet.

Papers (1)

1. Proving correctness of Timed Concurrent Constraint Programs cs.LO · 2002 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• F.S. de Boer 1 shared papers
• M.C. Meo 1 shared papers