Francesco Viganò

Personal Homepage
Employer
()
Email

Publication Statistics

Publication period start
2007
Publication period end
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. http://doi.acm.org/10.1145/1282100.1282109