A Hybrid Approach to Verifying Liveness in a Symmetric Multi-Processor.

Albert John Camilleri A Hybrid Approach to Verifying Liveness in a Symmetric Multi-Processor. 49-67 1997 conf/tphol/1997 TPHOLs db/conf/tphol/tphol97.html#Camilleri97 http://dx.doi.org/10.1007/BFb0028385