Login / Signup

A tool for the static optimization of concurrent programs.

Fabrizio BaiardiLaura Ricci
Published in: COMPSAC (1991)
Keyphrases
  • concurrent programs
  • real time
  • knowledge base
  • software engineering
  • petri net
  • reverse engineering