DMCA

The complexity of model checking concurrent programs against CTLK specifications (2006)

by Alessio Lomuscio , Franco Raimondi
Venue:ACM, 2006. Checking Knowledge and Linear Time: PSPACE Cases 17
Citations:18 - 5 self