Sign in

Improving the Accuracy of Petri Net-Based Analysis of Concurrent Programs.

A. T. ChamillardLori A. Clarke
Published in: ISSTA (1996)
Keyphrases
  • real time
  • general purpose