共 50 条
- [25] Proceedings Eighth International Symposium on Games, Automata, Logics and Formal Verification Roma, Italy, 20-22 September 2017 Preface [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017, (256):
- [29] FROM CARLO-EMANUELE-I TO VITTORIO-AMEDEO-II - PROCEEDINGS OF THE NATIONAL CONFERENCE (SAN-SALVATORE-MONFERRATO, SEPTEMBER 20-22, 1985) - ITALIAN - IOLI,G [J]. GIORNALE STORICO DELLA LETTERATURA ITALIANA, 1989, 166 (533): : 151 - 152