Home Advanced Search

Advanced Search - Page 1

Applications and Theory of Petri Nets: 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Brian Randell (auth.), Lars M. Kristensen, Laure Petrucci (eds.)
Applications and Theory of Petri Nets: 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Brian Randell (auth.), Lars M. Kristensen, Laure Petrucci (eds.)
Coloured Petri Nets: Modelling and Validation of Concurrent Systems
  • PDF
  • English
  • Year: 2009
  • Author: Kurt Jensen, Lars M. Kristensen
Transactions on Petri Nets and Other Models of Concurrency VI
  • PDF
  • English
  • Year: 2012
  • Author: Josep Carmona (auth.), Kurt Jensen, Wil M. van der Aalst, Marco Ajmone Marsan, Giuliana Franceschinis, Jetty Kleijn, Lars Michael Kristensen (eds.)
Epithelial Cell Culture Protocols: Second Edition
  • PDF
  • English
  • Year: 2013
  • Author: Amanda Simcox (auth.), Scott H. Randell, M. Leslie Fulcher (eds.)
Epithelial Cell Culture Protocols: Second Edition
  • PDF
  • English
  • Year: 2013
  • Author: Amanda Simcox (auth.), Scott H. Randell, M. Leslie Fulcher (eds.)
Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective
  • PDF
  • English
  • Year: 2006
  • Author: Cliff B Jones, Brian Randell (auth.), Denis Besnard, Cristina Gacek, Cliff B. Jones (eds.)
Predictably Dependable Computing Systems
  • PDF
  • English
  • Year: 1995
  • Author: Jean-Claude Laprie (auth.), Brian Randell, Jean-Claude Laprie, Hermann Kopetz, Bev Littlewood (eds.)
Formal Aspects in Security and Trust: Thrid International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers
  • PDF
  • English
  • Year: 2006
  • Author: Brian Randell, Peter Y. A. Ryan (auth.), Theo Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve Schneider (eds.)