Model checking timed ATL for durational concurrent game structures (2006)

Cached

Download Links

by F. Laroussinie , N. Markey , G. Oreiby
Venue:In Proc. 4th Intl Conf. on Formal Modeling and Analysis of Timed Systems (FORMATS’06), LNCS 4202
Citations:5 - 3 self