Login / Signup
A tool for the static optimization of concurrent programs.
Fabrizio Baiardi
Laura Ricci
Published in:
COMPSAC (1991)
Keyphrases
</>
concurrent programs
real time
knowledge base
software engineering
petri net
reverse engineering