Process Algebras for Petri Nets The Alphabetization of Distributed Systems Gorrieri Roberto Heftet / 2018 / Engelsk
Process Algebras for Petri Nets The Alphabetization of Distributed Systems Gorrieri Roberto Innbundet / 2017 / Engelsk
Introduction to Concurrency Theory Transition Systems and CCS Gorrieri Roberto Heftet / 2016 / Engelsk
Introduction to Concurrency Theory Transition Systems and CCS Gorrieri Roberto Innbundet / 2015 / Engelsk
Foundations of Security Analysis and Design II FOSAD 2001/2002 Tutorial Lectures Focardi Riccardo Heftet / 2004 / Engelsk
Foundations of Security Analysis and Design VI FOSAD Tutorial Lectures Aldini Alessandro Heftet / 2011 / Engelsk
Formal Methods for Open Object-Based Distributed Systems 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings Gorrieri Roberto Heftet / 2006 / Engelsk
Foundations of Security Analysis and Design Tutorial Lectures Focardi Riccardo Heftet / 2001 / Engelsk
Computational Methods in Systems Biology 7th International Conference, CMSB 2009 Degano Pierpaolo Heftet / 2009 / Engelsk
Foundations of Security Analysis and Design FOSAD 2006/2007 Turtorial Lectures Aldini Alessandro Heftet / 2007 / Engelsk
Foundations of Security Analysis and Design V FOSAD 2008/2009 Tutorial Lectures Aldini Alessandro Heftet / 2009 / Engelsk
Formal Methods for Open Object-Based Distributed Systems IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15–18, 1999, Florence, Italy Ciancarini Paolo Innbundet / 1999 / Engelsk
Formal Methods for Open Object-Based Distributed Systems IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15–18, 1999, Florence, Italy Ciancarini Paolo Heftet / 2013 / Engelsk
Foundations of Security Analysis and Design III FOSAD 2004/2005 Tutorial Lectures Aldini Alessandro Heftet / 2005 / Engelsk
Automata, Languages and Programming 24th International Colloquium, ICALP'97, Bologna, Italy, July 7 - 11, 1997, Proceedings Degano Pierpaolo Heftet / 1997 / Engelsk
