Login / Signup

Concurrency control generation for dynamic threads using discrete-event systems.

Anthony AuerJürgen DingelKaren Rudie
Published in: Sci. Comput. Program. (2014)
Keyphrases