Efficient verification of concurrent systems using local analysis based approximations and SAT solving
T. Gibson−Robinson P Antonino and A.W. Roscoe
Book Title
Formal Aspects of Computing
Volume
31
Year
2019
T. Gibson−Robinson P Antonino and A.W. Roscoe