Search Results for Montali, Marco. - Narrowed by: Software engineering.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dMontali$00252C$002bMarco.$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026te$003dILS$0026ps$003d300?
2024-11-13T23:35:22Z
Specification and Verification of Declarative Open Interaction Models A Logic-Based Approach
ent://SD_ILS/0/SD_ILS:192688
2024-11-13T23:35:22Z
2024-11-13T23:35:22Z
Author Montali, Marco. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14538-4">http://dx.doi.org/10.1007/978-3-642-14538-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rules and Reasoning Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486438
2024-11-13T23:35:22Z
2024-11-13T23:35:22Z
Author Fodor, Paul. editor. (orcid)0000-0002-2978-676X Montali, Marco. editor. (orcid)0000-0002-8021-3430 Calvanese, Diego. editor. (orcid)0000-0001-5174-9693 Roman, Dumitru. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-31095-0">https://doi.org/10.1007/978-3-030-31095-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Business Process Management 16th International Conference, BPM 2018, Sydney, NSW, Australia, September 9–14, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400043
2024-11-13T23:35:22Z
2024-11-13T23:35:22Z
Author Weske, Mathias. editor. Montali, Marco. editor. (orcid)0000-0002-8021-3430 Weber, Ingo. editor. (orcid)0000-0002-4833-5921 vom Brocke, Jan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-98648-7">https://doi.org/10.1007/978-3-319-98648-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>