Home Advanced Search

Advanced Search - Page 1

Theoretical Aspects of Computing - ICTAC 2009: 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Zuohua Ding (auth.), Martin Leucker, Carroll Morgan (eds.)
Theoretical Aspects of Computing - ICTAC 2009: 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Zuohua Ding (auth.), Martin Leucker, Carroll Morgan (eds.)
Runtime Verification: 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers
  • PDF
  • English
  • Year: 2008
  • Author: Jean Goubault-Larrecq, Julien Olivain (auth.), Martin Leucker (eds.)
Runtime Verification: 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers
  • PDF
  • English
  • Year: 2008
  • Author: Jean Goubault-Larrecq, Julien Olivain (auth.), Martin Leucker (eds.)
Program Design Calculi
  • PDF
  • English
  • Year: 1993
  • Author: Carroll Morgan (auth.), Manfred Broy (eds.)
Model-Based Testing of Reactive Systems: Advanced Lectures
  • PDF
  • English
  • Year: 2005
  • Author: Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (auth.), Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (eds.)
Model-Based Testing of Reactive Systems: Advanced Lectures
  • PDF
  • English
  • Year: 2005
  • Author: Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (auth.), Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (eds.)
On the Refinement Calculus
  • PDF
  • English
  • Year: 1994
  • Author: Carroll Morgan (auth.), Carroll Morgan BSc, PhD, Trevor Vickers BSc, PhD (eds.)
Formal Methods: Applications and Technology: 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers
  • PDF
  • English
  • Year: 2007
  • Author: Anna Slobodová (auth.), Luboš Brim, Boudewijn Haverkort, Martin Leucker, Jaco van de Pol (eds.)
Theoretical Aspects of Computing – ICTAC 2015: 12th International Colloquium Cali, Colombia, October 29–31, 2015, Proceedings
  • PDF
  • English
  • Year: 2015
  • Author: Martin Leucker, Camilo Rueda, Frank D. Valencia (eds.)
search