Skip to main content

Efficient deadlock−freedom checking using local analysis and SAT solving

Pedro Antonino‚ Thomas Gibson−Robinson and A.W. Roscoe

Book Title
Proceedings of IFM
Year
2016