Symbolic Model Checking for One-Resource RB+-ATL / 1069

N. Alechina, B. Logan, Hoang Nga Nguyen, F. Raimondi

Research output: Chapter in Book/Report/Conference proceedingConference proceedingpeer-review

5 Citations (Scopus)

Search results