Search results for: Paola Spoletini
Formal Aspects of Computing > 2019 > 31 > 5 > 459-502
Requirements Engineering > 2019 > 24 > 3 > 259-289
Annals of Mathematics and Artificial Intelligence > 2017 > 80 > 3-4 > 283-316
Lecture Notes in Computer Science > Service-Oriented Computing - ICSOC 2005 > Service Composition and Aggregation > 198-213
Lecture Notes in Computer Science > Formal Techniques for Distributed Systems > Regular Contributions > 26-40
Lecture Notes in Computer Science > Flexible Query Answering Systems > Information Retrieval and Filtering > 210-221
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems – FORTE 2007 > Technical Session 6. Model Checking > 247-262
Lecture Notes in Computer Science > Advances in Software Engineering > SOA and Web Services > 131-160
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 378-393
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Short Papers > 408-417
Lecture Notes in Computer Science > International Symposium on Fundamentals of Software Engineering > 388-395