@dblp

Symbolic Deadlock Analysis in Concurrent Libraries and Their Clients.

, , and . ASE, page 480-491. IEEE Computer Society, (2009)

Links and resources

Tags