Résultat(s) 1 - 1 résultats de 1 pour la requête 'Bjoerk, M', Temps de recherche: 0,02s Affiner les résultats
  1. 1
    Automatic abstraction in symbolic trajectory evaluation

    Automatic abstraction in symbolic trajectory evaluation par Adams, S, Bjoerk, M, Melham, T, Seger, C

    Publié 2007
    Conference item

Outils de recherche: