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 proceeding

5 Citations (Scopus)

Fingerprint Dive into the research topics of 'Symbolic Model Checking for One-Resource RB+-ATL / 1069'. Together they form a unique fingerprint.

Engineering & Materials Science