Login / Signup

Deadlock Checking Using Net Unfoldings.

Stephan MelzerStefan Römer
Published in: CAV (1997)
Keyphrases
  • consistency checking
  • database programming
  • integrity constraints
  • computer vision
  • information systems
  • special case