A trace based extension of linear time temporal logic (1994)

by P S Thiagarajan
Venue:In Proc. of LICS’94