Pubblicazioni

Cycle detection in computation tree logic

2018 - INFORMATION AND COMPUTATION
Fontaine, G.; Mogavero, F.; Murano, A.; Perelli, G.; Sorrentino, L.

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