DMCA

Temporal logics for concurrent recursive programs: Satisfiability and model checking (2011)

by Benedikt Bollig , Aiswarya Cyriac , Paul Gastin , Marc Zeitoun
Venue:In MFCS’11, volume 6907 of LNCS
Citations:9 - 3 self