Login / Signup

Action Systemes, Unbounded Nondeterminism, and Infinite Traces.

Michael J. ButlerCarroll Morgan
Published in: Formal Aspects Comput. (1995)
Keyphrases