Skip recommendations
Mostrando 1 - 2 Resultados de 2 Para Buscar 'Bosnacki, Dragan', tiempo de consulta: 0.02s Limitar resultados
Herramientas de búsqueda: Suscríbete a esta búsqueda
  1. 1
    Model Checking Software 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings /
    Publicado 2016
    Otros Autores: “…Bošnački, Dragan…”
    Texto Completo
    Electrónico eBook
  2. 2
    Model Checking Software 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings /
    Publicado 2007
    Otros Autores: “…Bosnacki, Dragan…”
    Texto Completo
    Electrónico eBook