Skip recommendations
Showing 1 - 2 results of 2 for search 'Bošnački, Dragan', query time: 0.04s Refine Results
Search Tools: 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 /
    Published 2016
    Other Authors: “…Bošnački, Dragan…”
    Texto Completo
    Electronic eBook
  2. 2
    Model Checking Software 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings /
    Published 2007
    Other Authors: “…Bosnacki, Dragan…”
    Texto Completo
    Electronic eBook