Skip recommendations
Mostrando 1 - 3 Resultados de 3 Para Buscar 'Baier, Christel', tiempo de consulta: 0.02s Limitar resultados
Herramientas de búsqueda: Suscríbete a esta búsqueda
  1. 1
    Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings /
    Publicado 2015
    Otros Autores: “…Baier, Christel…”
    Texto Completo
    Electrónico eBook
  2. 2
    Principles of model checking /
    por Baier, Christel
    Publicado 2008
    Texto completo
    Electrónico eBook
  3. 3
    CONCUR 2006 - Concurrency Theory 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006 /
    Publicado 2006
    Otros Autores: “…Baier, Christel…”
    Texto Completo
    Electrónico eBook