Nicolás Aristizabal, Carlos Pinzón, Camilo Rueda, Frank Valencia. Make Puzzles Great Again. In Mário S. Alvim, Kostas Chatzikokolakis 0001, Carlos Olarte, Frank Valencia, editors, The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday. Volume 11760 of Lecture Notes in Computer Science, pages 442-459, Springer, 2019. [doi]
@inproceedings{AristizabalPRV19, title = {Make Puzzles Great Again}, author = {Nicolás Aristizabal and Carlos Pinzón and Camilo Rueda and Frank Valencia}, year = {2019}, doi = {10.1007/978-3-030-31175-9_25}, url = {https://doi.org/10.1007/978-3-030-31175-9_25}, researchr = {https://researchr.org/publication/AristizabalPRV19}, cites = {0}, citedby = {0}, pages = {442-459}, booktitle = {The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday}, editor = {Mário S. Alvim and Kostas Chatzikokolakis 0001 and Carlos Olarte and Frank Valencia}, volume = {11760}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-030-31175-9}, }