Author: Francesco Viganò
Publications
Publication period start: 2007
Number of co-authors: 1
Co-authors
Number of
publications with favourite co-authors
Productive Colleagues
Most productive
colleagues in number of publications
Publications
Viganò, Francesco, Colombetti, Marco (2007): Symbolic model checking of institutions. In: Gini, Maria L., Kauffman, Robert J., Sarppo, Donna, Dellarocas, Chrysanthos, Dignum, Frank (eds.) Proceedings of the 9th International Conference on Electronic Commerce - ICEC 2007 August 19-22, 2007, Minneapolis, MN, USA. pp. 35-44. https://doi.acm.org/10.1145/1282100.1282109