Efficient Decision Procedures for Model Checking of Linear Time Logic Properties.

Fri, 01 Jan 1999 00:00:00 +0100

Roderick Bloem, Kavita Ravi, Fabio Somenzi:
Efficient Decision Procedures for Model Checking of Linear Time Logic Properties. CAV 1999: 222-235