Home Advanced Search

Advanced Search - Page 1

Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France June 12–14, 1989 Proceedings
  • DJVU
  • English
  • Year: 1990
  • Author: Gérard Boudol, Valérie Roy, Robert de Simone (auth.), Joseph Sifakis (eds.)
Coordination Models and Languages: 6th International Conference, COORDINATION 2004 Pisa Italy, February 24-27, 2004 Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Gérard Boudol (auth.), Rocco De Nicola, Gian-Luigi Ferrari, Greg Meredith (eds.)
Coordination Models and Languages: 6th International Conference, COORDINATION 2004 Pisa Italy, February 24-27, 2004 Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Gérard Boudol (auth.), Rocco De Nicola, Gian-Luigi Ferrari, Greg Meredith (eds.)
Coordination Models and Languages: 6th International Conference, COORDINATION 2004 Pisa Italy, February 24-27, 2004 Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Gérard Boudol (auth.), Rocco De Nicola, Gian-Luigi Ferrari, Greg Meredith (eds.)
FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science: 26th International Conference, Kolkata, India, December 13-15, 2006. Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: Gérard Boudol (auth.), S. Arun-Kumar, Naveen Garg (eds.)
FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science: 26th International Conference, Kolkata, India, December 13-15, 2006. Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: Gérard Boudol (auth.), S. Arun-Kumar, Naveen Garg (eds.)
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.)
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.)
search