Your search returned the following 10 documents:

10. Constraint-based Deductive Model Checking
    Giorgio Delzanno and Andreas Podelski
    International Journal on Software Tools for Technology Transfer (STTT) 3 (3): 250-270, 2001
    
9. Model Checking for Communication Protocols
   Pablo Argon, Giorgio Delzanno, Supratik Mukhopadhyay, and Andreas Podelski
   In: Proceedings of the 28th Annual Conference on Current Trends in Theory and Practice of Informatics (SOFSEM-2001), Piestany, Slovak Republic, November 24 -- December 1, 2001, 2001, 160-170. Note: To appear.
   
8. Object Calculi in Linear Logic
   Michele Bugliesi, Giorgio Delzanno, Luigi Liquori, and Maurizio Martelli
   Journal of Logic and Computation 10 (1): 75-104, 2000
   
7. Symbolic Representation of Upward-Closed Sets
   Giorgio Delzanno and Jean-François Raskin
   In: Proceedings of the 6th Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS-00); Held as Part of the European Joint Conferences on the Theory and Practice of Software (ETAPS-00), Berlin, Germany, March 25 - April 2, 2000, 2000, 426-440
   
6. Specification of Term Rewriting in Linear Logic
   Giorgio Delzanno
   In: Proceedings of Workshop on Proof-Search in Type-Theoretic Languages, Lindau, Germany, July, 5, 1998
   
5. A specification logic for concurrent object-oriented programming
   Giorgio Delzanno, Didier Galmiche, and Maurizio Martelli
   Mathematical Structures in Computer Science 9 (3): 253-286, 1999
   
4. Constraint-Based Analysis of Broadcast Protocols
   Giorgio Delzanno, Javier Esparza, and Andreas Podelski
   In: Proceedings of the 13th International Workshop on Computer Science Logic (CSL-99), 8th Annual Conference on the EACSL, Madrid, Spain, September 20-25, 1999, 1999, 50-66
   
3. Logic Programming and Multi-Agent Systems: a Synergic Combination for Applications and Semantics
   Marco Bozzano, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi, and Floriano Zini
   In: The Logic Programming Paradigm: a 25-Year Perspective, 1999, 5-32
   
2. Model Checking in CLP
   Giorgio Delzanno and Andreas Podelski
   In: Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS-99), Amsterdam, The Netherlands, March, 22nd-26th, 1999, 223-239
   
1. Multi-Agent Systems Development as a Software Engineering Enterprise
   Marco Bozzano, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi, and Floriano Zini
   In: Proceedings of the 1st International Workshop on Practical Aspects of Declarative Languages (PADL-99), San Antonio, Texas, USA, January, 18-19, 1999, 46-60