Login / Signup

Concurrency control generation for dynamic threads using Discrete-Event Systems.

Anthony AuerJuergen DingelKaren Rudie
Published in: Allerton (2009)
Keyphrases