Angelo Montanari. Model Checking: The Interval Way. In Alberto Casagrande, Eugenio G. Omodeo, editors, Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019. Volume 2396 of CEUR Workshop Proceedings, pages 3, CEUR-WS.org, 2019. [doi]
@inproceedings{Montanari19-0, title = {Model Checking: The Interval Way}, author = {Angelo Montanari}, year = {2019}, url = {http://ceur-ws.org/Vol-2396/tutorial3.pdf}, researchr = {https://researchr.org/publication/Montanari19-0}, cites = {0}, citedby = {0}, pages = {3}, booktitle = {Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019}, editor = {Alberto Casagrande and Eugenio G. Omodeo}, volume = {2396}, series = {CEUR Workshop Proceedings}, publisher = {CEUR-WS.org}, }