Skip recommendations
Mostrando 1 - 3 Resultados de 3 Para Buscar 'Katoen, Joost-Pieter', tiempo de consulta: 0.01s Limitar resultados
Herramientas de búsqueda: Suscríbete a esta búsqueda
  1. 1
    CONCUR 2011 -- Concurrency Theory 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011, Proceedings /
    Publicado 2011
    Otros Autores: “…Katoen, Joost-Pieter…”
    Texto Completo
    Electrónico eBook
  2. 2
    Principles of model checking /
    por Baier, Christel
    Publicado 2008
    Otros Autores: “…Katoen, Joost-Pieter…”
    Texto completo
    Electrónico eBook
  3. 3
    Model-Based Testing of Reactive Systems Advanced Lectures /
    Publicado 2005
    Otros Autores:
    Texto Completo
    Electrónico eBook