Deciding Full Branching Time Logic by Program Transformation

Articolo

Data di Pubblicazione:

2010

Tipologia CRIS:

01.01 Articolo in rivista

Elenco autori:

Pettorossi, Alberto; Senni, Valerio; Proietti, Maurizio

Autori di Ateneo:

PROIETTI MAURIZIO

Link alla scheda completa:

https://iris.cnr.it/handle/20.500.14243/170368