Login / Signup

More Relational Concurrent Refinement: Traces and Partial Relations.

John DerrickEerke A. Boiten
Published in: Electron. Notes Theor. Comput. Sci. (2008)
Keyphrases