Modeling, verifying and reasoning about web services

BALDONI M.; BAROGLIO C.; BERIO G.; MARTELLI A.; PATTI V.; L. SAPINO M.; SCHIFANELLA C.; ALBERTI M.; GAVANELLI M.; LAMMA E.; RIGUZZI F.; STORARI S.; CHESANI F.; CIAMPOLINI A.; MELLO P.; MONTALI M.; TORRONI P.; Alessio BOTTRIGHI; Laura GIORDANO; GLIOZZI V.; L. POZZATO G.; Daniele THESEIDER DUPRE'; Paolo TERENZIANI; CASELLA G.; MASCARDI V.

Modeling, verifying and reasoning about web services

BALDONI M., BAROGLIO C., BERIO G., MARTELLI A., PATTI V., L. SAPINO M., SCHIFANELLA C., ALBERTI M., GAVANELLI M., LAMMA E., RIGUZZI F., STORARI S., CHESANI F., CIAMPOLINI A., MELLO P., MONTALI M., TORRONI P., Alessio BOTTRIGHI, Laura GIORDANO, GLIOZZI V.L. POZZATO G., Daniele THESEIDER DUPRE', Paolo TERENZIANI, CASELLA G., MASCARDI V.

Department of Science and Technological Innovation

Research output: Contribution to journal › Article

Original language	English
Journal	Intelligenza Artificiale
Publication status	Published - 1 Jan 0001

Cite this

M., BALDONI., C., BAROGLIO., G., BERIO., A., MARTELLI., V., PATTI., M., L. SAPINO., C., SCHIFANELLA., M., ALBERTI., M., GAVANELLI., E., LAMMA., F., RIGUZZI., S., STORARI., F., CHESANI., A., CIAMPOLINI., P., MELLO., M., MONTALI., P., TORRONI., BOTTRIGHI, A., GIORDANO, L., ... V., MASCARDI. (1). Modeling, verifying and reasoning about web services. Intelligenza Artificiale.

@article{25854c4ed9c2457ea4eb939e64106c4d,

title = "Modeling, verifying and reasoning about web services",

author = "BALDONI M. and BAROGLIO C. and BERIO G. and MARTELLI A. and PATTI V. and M., {L. SAPINO} and SCHIFANELLA C. and ALBERTI M. and GAVANELLI M. and LAMMA E. and RIGUZZI F. and STORARI S. and CHESANI F. and CIAMPOLINI A. and MELLO P. and MONTALI M. and TORRONI P. and Alessio BOTTRIGHI and Laura GIORDANO and GLIOZZI V. and G., {L. POZZATO} and {THESEIDER DUPRE'}, Daniele and Paolo TERENZIANI and CASELLA G. and MASCARDI V.",

year = "1",

month = jan,

day = "1",

language = "English",

journal = "Intelligenza Artificiale",

issn = "1724-8035",

publisher = "SAGE Publications Ltd",

}

M., BALDONI, C., BAROGLIO, G., BERIO, A., MARTELLI, V., PATTI, M., LSAPINO, C., SCHIFANELLA, M., ALBERTI, M., GAVANELLI, E., LAMMA, F., RIGUZZI, S., STORARI, F., CHESANI, A., CIAMPOLINI, P., MELLO, M., MONTALI, P., TORRONI, BOTTRIGHI, A , GIORDANO, L, V., GLIOZZI, G., LPOZZATO, THESEIDER DUPRE', D , TERENZIANI, P, G., CASELLA & V., MASCARDI 1, 'Modeling, verifying and reasoning about web services', Intelligenza Artificiale.

TY - JOUR

T1 - Modeling, verifying and reasoning about web services

AU - M., BALDONI

AU - C., BAROGLIO

AU - G., BERIO

AU - A., MARTELLI

AU - V., PATTI

AU - M., L. SAPINO

AU - C., SCHIFANELLA

AU - M., ALBERTI

AU - M., GAVANELLI

AU - E., LAMMA

AU - F., RIGUZZI

AU - S., STORARI

AU - F., CHESANI

AU - A., CIAMPOLINI

AU - P., MELLO

AU - M., MONTALI

AU - P., TORRONI

AU - BOTTRIGHI, Alessio

AU - GIORDANO, Laura

AU - V., GLIOZZI

AU - G., L. POZZATO

AU - THESEIDER DUPRE', Daniele

AU - TERENZIANI, Paolo

AU - G., CASELLA

AU - V., MASCARDI

PY - 1/1/1

Y1 - 1/1/1

UR - https://iris.uniupo.it/handle/11579/25916

M3 - Article

SN - 1724-8035

JO - Intelligenza Artificiale

JF - Intelligenza Artificiale

ER -

Modeling, verifying and reasoning about web services

Other files and links

Cite this