Login / Signup

A Model of Ada Programs for Static Deadlock Detection in Polynomial Time.

Stephen P. MasticolaBarbara G. Ryder
Published in: Workshop on Parallel and Distributed Debugging (1991)
Keyphrases
  • databases
  • information systems
  • data mining
  • objective function
  • data structure
  • management system
  • database management systems
  • petri net