Home Advanced Search

Advanced Search - Page 1

CONCUR 2011 – Concurrency Theory: 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Parosh Aziz Abdulla (auth.), Joost-Pieter Katoen, Barbara König (eds.)
Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Joost-Pieter Katoen (auth.), Gwen Salaün, Bernhard Schätz (eds.)
Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS’99 Bamberg, Germany, May 26–28, 1999 Proceedings
  • PDF
  • English
  • Year: 1999
  • Author: Bengt Jonsson, Wang Yi (auth.), Joost-Pieter Katoen (eds.)
Fundamentals of Software Engineering: 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers
  • PDF
  • English
  • Year: 2012
  • Author: Joost-Pieter Katoen (auth.), Farhad Arbab, Marjan Sirjani (eds.)
Fundamentals of Software Engineering: 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers
  • PDF
  • English
  • Year: 2012
  • Author: Joost-Pieter Katoen (auth.), Farhad Arbab, Marjan Sirjani (eds.)
Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Gerard J. Holzmann (auth.), Parosh Aziz Abdulla, K. Rustan M. Leino (eds.)
CONCUR 2001 — Concurrency Theory: 12th International Conference Aalborg, Denmark, August 20–25, 2001 Proceedings
  • PDF
  • English
  • Year: 2001
  • Author: Parosh Aziz Abdulla, Bengt Jonsson (auth.), Kim G. Larsen, Mogens Nielsen (eds.)
Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Gerard J. Holzmann (auth.), Parosh Aziz Abdulla, K. Rustan M. Leino (eds.)
Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Michael R. Lowry (auth.), Joost-Pieter Katoen, Perdita Stevens (eds.)
Reachability Problems: 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Patricia Bouyer, Nicolas Markey, Ocan Sankur (auth.), Parosh Aziz Abdulla, Igor Potapov (eds.)
search