Lorenzo Boaro

Publication Activity (10 Years)

Years Active: 2010-2011
Publications (10 Years): 0

Publications

Lorenzo Boaro, Emanuele Glorio, Francesco Pagliarecci, Luca Spalazzi
Business process design framework for B2B collaboration. CTS (2011)
Lorenzo Boaro, Emanuele Glorio, Francesco Pagliarecci, Luca Spalazzi
Semantic model checking security requirements for web services. HPCS (2010)
Lorenzo Boaro, Emanuele Glorio, Francesco Pagliarecci, Luca Spalazzi
Semantic Model Checking Security Requirements for Web Services (Extended Abstract). SEBD (2010)