Home » Publication » 23013

Dettaglio pubblicazione

2018, INFORMATION AND COMPUTATION, Pages 265-279 (volume: 262)

Cycle detection in computation tree logic (01a Articolo in rivista)

Fontaine G., Mogavero F., Murano A., Perelli G., Sorrentino L.

DOI: 10.1016/j.ic.2018.09.007
keywords
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma