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.

keywords
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma