Home Advanced Search

Advanced Search - Page 1

Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Matthew B. Dwyer, Rahul Purandare (auth.), Klaus Havelund, Rupak Majumdar, Jens Palsberg (eds.)
Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Matthew B. Dwyer, Rahul Purandare (auth.), Klaus Havelund, Rupak Majumdar, Jens Palsberg (eds.)
Graph Transformations: 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Antónia Lopes, José Luiz Fiadeiro (auth.), Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg (eds.)
Graph Transformations: 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Antónia Lopes, José Luiz Fiadeiro (auth.), Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg (eds.)
Formal Techniques for Distributed Systems: Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: David Kitchin, Adrian Quark, William Cook, Jayadev Misra (auth.), David Lee, Antónia Lopes, Arnd Poetzsch-Heffter (eds.)
Systems and Software Variability Management: Concepts, Tools and Experiences
  • PDF
  • English
  • Year: 2013
  • Author: Jan Bosch (auth.), Rafael Capilla, Jan Bosch, Kyo-Chul Kang (eds.)
Systems and Software Variability Management: Concepts, Tools and Experiences
  • PDF
  • English
  • Year: 2013
  • Author: Jan Bosch (auth.), Rafael Capilla, Jan Bosch, Kyo-Chul Kang (eds.)
Continuous Software Engineering
  • PDF
  • English
  • Year: 2014
  • Author: Jan Bosch (eds.)