Rainer Weber
-
Verifying mutual exclusion and liveness properties with split preconditions
Journal of Computer Science and Technology