DMCA

Linear Temporal Logic and Linear Dynamic Logic on Finite Traces (2013)

by Giuseppe De Giacomo , Moshe Y. Vardi
Citations:16 - 4 self