DMCA

time logics around PSL: Complexity, expressiveness, and a little bit of succinctness (2007)

by Martin Lange
Venue:in CONCUR, ser. Lecture Notes in Computer Science
Citations:5 - 1 self