Search results for: Michele Boreale
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 2003 > Contributed Papers > 279-289
Lecture Notes in Computer Science > Programming Languages and Systems > Models and Languages for Web Services > 48-63
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Concurrency and Process Theory > 146-160
Lecture Notes in Computer Science > Automata, Languages and Programming > Model Checking and Protocol Analysis > 667-681
Lecture Notes in Computer Science > Formal Methods for Open Object-Based Distributed Systems > Models and Calculi > 47-66
Lecture Notes in Computer Science > Rigorous Software Engineering for Service-Oriented Systems > Negotiations, Planning, and Reconfiguration > 282-301
Lecture Notes in Computer Science > Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues > ASIAN’2006 > 136-150
Lecture Notes in Computer Science > Rigorous Software Engineering for Service-Oriented Systems > Calculi for Service-Oriented Computing > 214-231
Lecture Notes in Computer Science > STACS 95 > 243-254
Lecture Notes in Computer Science > Concurrency, Graphs and Models > Software Verification > 642-658
Lecture Notes in Computer Science > International Symposium on Fundamentals of Software Engineering > 302-317