DMCA

GSTE is Partitioned Model Checking (2005)

by Roberto Sebastiani , Eli Singerman , Stefano Tonetta , Moshe Y. Vardi
Citations:4 - 0 self