Showing 1 - 11 results of 11 for search 'Degano, Pierpaolo', query time: 0.04s Refine Results
  1. 1
    Formal Aspects in Security and Trust 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers
    by Degano, Pierpaolo
    Published 2010
    Get full text
    Electronic Kit Book
  2. 2
    Programming Languages and Systems 12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings /
    Published 2003
    Other Authors: “…Degano, Pierpaolo…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Foundations and Applications of Security Analysis Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers /
    Published 2009
    Other Authors: “…Degano, Pierpaolo…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Computational Methods in Systems Biology 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings /
    Published 2009
    Other Authors: “…Degano, Pierpaolo…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Formal Aspects in Security and Trust 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers /
    Published 2010
    Other Authors: “…Degano, Pierpaolo…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    Principles of Security and Trust First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings /
    Published 2012
    Other Authors: “…Degano, Pierpaolo…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 7
    Formal Aspects in Security and Trust 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008 Revised Selected Papers /
    Published 2009
    Other Authors: “…Degano, Pierpaolo…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 8
    Formal Aspects of Security and Trust 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers /
    Published 2011
    Other Authors: “…Degano, Pierpaolo…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 9
    Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures /
    Published 2008
    Other Authors: “…Degano, Pierpaolo…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 10
    Automata, Languages and Programming 24th International Colloquium, ICALP'97, Bologna, Italy, July 7 - 11, 1997, Proceedings /
    Published 1997
    Other Authors: “…Degano, Pierpaolo…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 11
    Concurrency, Graphs and Models Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday /
    Published 2008
    Other Authors: “…Degano, Pierpaolo…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search