Home Advanced Search

Advanced Search - Page 1

Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Gilles Barthe (auth.), Kaustubh Joshi, Markus Siegle, Mariëlle Stoelinga, Pedro R. D’Argenio (eds.)
Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Gilles Barthe (auth.), Kaustubh Joshi, Markus Siegle, Mariëlle Stoelinga, Pedro R. D’Argenio (eds.)
Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Gilles Barthe (auth.), Kaustubh Joshi, Markus Siegle, Mariëlle Stoelinga, Pedro R. D’Argenio (eds.)
Foundations of Software Science and Computation Structures: Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: Christel Baier, Mariëlle Stoelinga (auth.), Jerzy Tiuryn (eds.)
Foundations of Software Science and Computation Structures: Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: Christel Baier, Mariëlle Stoelinga (auth.), Jerzy Tiuryn (eds.)
CONCUR 2013 – Concurrency Theory: 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Lorenzo Alvisi, Edmund L. Wong (auth.), Pedro R. D’Argenio, Hernán Melgratti (eds.)
CONCUR 2013 – Concurrency Theory: 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Lorenzo Alvisi, Edmund L. Wong (auth.), Pedro R. D’Argenio, Hernán Melgratti (eds.)
Formal Methods for Industrial Critical Systems: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Nouha Abid, Silvano Dal Zilio (auth.), Mariëlle Stoelinga, Ralf Pinger (eds.)
Formal Methods for Industrial Critical Systems: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Nouha Abid, Silvano Dal Zilio (auth.), Mariëlle Stoelinga, Ralf Pinger (eds.)
Programming Languages and Systems: 20th European Symposium on Programming, ESOP 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: Andrew W. Appel (auth.), Gilles Barthe (eds.)
search