@dblp

Contextual Locking for Dynamic Pushdown Networks.

, , , and . SAS, volume 7935 of Lecture Notes in Computer Science, page 477-498. Springer, (2013)

Links and resources

Tags