Splitting forward simulations to copewith liveness

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

Authors

Wim H. Hesselink

This author has not been identified. Look up 'Wim H. Hesselink' in Google