Login / Signup

An Application of Temporal Projection to Interleaving Concurrency.

Ben C. MoszkowskiDimitar P. Guelev
Published in: SETTA (2015)
Keyphrases