Login / Signup

Local Proofs for Linear-Time Properties of Concurrent Programs.

Ariel CohenKedar S. Namjoshi
Published in: CAV (2008)
Keyphrases
  • concurrent programs
  • real time
  • information systems
  • wireless sensor networks