Login / Signup

Algorithms for analyzing concurrent software systems using derivatives.

Allan M. Stavely
Published in: J. Syst. Softw. (1990)
Keyphrases