The temporal logic Sugar (2001)

by I Beer, S Ben-David, C Eisner, D Fisman, A Gringauze, Y Rodeh
Venue:In Proc 13th Int. Conf. on Computer Aided Verification