Dettaglio pubblicazione
2016, ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, Pages 164-177 (volume: 226)
Cycle detection in computation tree logic (04c Atto di convegno in rivista)
Fontaine G., Mogavero F., Murano A., Perelli G., Sorrentino L.
keywords