Model-checking of causality properties (1995)

by R Alur, D Peled, W Penczek
Venue:In Proc. of LICS’95