Temporal verication by diagram transformations (1996)

by L de Alfaro, Z Manna
Venue:CAV '96, LNCS 1102