Showing 1 - 3 results of 3 for search 'Bosnacki, Dragan', query time: 0.02s Refine Results
  1. 1
    Model Checking Software 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings /
    Published 2002
    Other Authors: “…Bosnacki, Dragan…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    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…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Model Checking Software 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings /
    Published 2007
    Other Authors: “…Bošnački, Dragan…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search