Home Advanced Search

Advanced Search - Page 1

Applications and Theory of Petri Nets 2004: 25th International Conference, ICATPN 2004, Bologna, Italy, June 21–25, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Nadia Busi, Roberto Gorrieri (auth.), Jordi Cortadella, Wolfgang Reisig (eds.)
Coordination of Internet Agents: Models, Technologies, and Applications
  • PDF
  • English
  • Year: 2001
  • Author: Nadia Busi, Paolo Ciancarini, Roberto Gorrieri, Gianluigi Zavattaro (auth.), Andrea Omicini, Franco Zambonelli, Matthias Klusch, Robert Tolksdorf (eds.)
Process Algebras for Petri Nets: The Alphabetization of Distributed Systems
  • PDF
  • English
  • Year: 2017
  • Author: Roberto Gorrieri (auth.)
Foundations of Security Analysis and Design IV: FOSAD 2006/2007 Tutorial Lectures
  • PDF
  • English
  • Year: 2007
  • Author: Martín Abadi (auth.), Alessandro Aldini, Roberto Gorrieri (eds.)
Petrinetze: Modellierungstechnik, Analysemethoden, Fallstudien
  • PDF
  • German
  • Year: 2010
  • Author: Wolfgang Reisig (auth.)
Foundations of Security Analysis and Design: Tutorial Lectures
  • PDF
  • English
  • Year: 2001
  • Author: Peter Y. A. Ryan (auth.), Riccardo Focardi, Roberto Gorrieri (eds.)