@dblp

Deadlock Analysis of Concurrent Objects: Theory and Practice.

, , , , and . IFM, volume 7940 of Lecture Notes in Computer Science, page 394-411. Springer, (2013)

Links and resources

URL:
BibTeX key:
conf/ifm/GiachinoGLLW13
search on:

Comments and Reviews  
(0)

There is no review or comment yet. You can write one!

Tags


Cite this publication