Splitting forward simulations to copewith liveness

Wim H. Hesselink. Splitting forward simulations to copewith liveness. Acta Informatica, 42(8-9):583-602, 2006. [doi]

No reviews for this publication, yet.