Efficient Deadlock-Freedom Checking Using Local Analysis and SAT Solving.

Published in: IFM (2016)

Keyphrases