Login / Signup

Partial-Order Methods for Temporal Verification.

Pierre WolperPatrice Godefroid
Published in: CONCUR (1993)
Keyphrases
  • partial order
  • partially ordered
  • spatio temporal
  • dynamic environments