A temporal Logic for reasoning about Timed Concurrent Constraint Programs

  • F.S. de Boer
  • , M. Gabbrielli
  • , M.C. Meo

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Fingerprint

Dive into the research topics of 'A temporal Logic for reasoning about Timed Concurrent Constraint Programs'. Together they form a unique fingerprint.
Sort by

Keyphrases

Computer Science