Temporal Logic Model Checking (Abstract).

Edmund M. Clarke Temporal Logic Model Checking (Abstract). 3 1997 ILPS db/conf/slp/slp97.html#Clarke97