Home Advanced Search

Advanced Search - Page 1

Applications and Theory of Petri Nets: 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Joseph Sifakis (auth.), Giuliana Franceschinis, Karsten Wolf (eds.)
Applications and Theory of Petri Nets 2005: 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005. Proceedings
  • PDF
  • English
  • Year: 2005
  • Author: Giuliana Franceschinis (auth.), Gianfranco Ciardo, Philippe Darondeau (eds.)
Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Joseph Sifakis (auth.), Javier Esparza, Rupak Majumdar (eds.)
Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Joseph Sifakis (auth.), Javier Esparza, Rupak Majumdar (eds.)
Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Joseph Sifakis (auth.), Javier Esparza, Rupak Majumdar (eds.)
Embedded Software: Second International Conference, EMSOFT 2002 Grenoble, France, October 7–9, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Amir Pnueli (auth.), Alberto Sangiovanni-Vincentelli, Joseph Sifakis (eds.)
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.)
Präzises Denken für Informatiker
  • PDF
  • German
  • Year: 2017
  • Author: Karsten Wolf (auth.)
Understanding and Changing the World: From Information to Knowledge and Intelligence
  • PDF
  • English
  • Year: 2022
  • Author: Joseph Sifakis
Web Services and Formal Methods: 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers
  • PDF
  • English
  • Year: 2009
  • Author: Mario Bravetti, Gianluigi Zavattaro (auth.), Roberto Bruni, Karsten Wolf (eds.)
search