Hierarchical games and their applications in reasoning about reactive systems / Murano, Aniello; O., Kupferman. - (2011). ( Hierarchical games and their applications in reasoning about reactive systems01/2011).
Hierarchical games and their applications in reasoning about reactive systems
MURANO, ANIELLO
Supervision
;
2011
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.


