Visas 1 - 1 av 1 resultat för sökning 'Bjoerk, M', Sökningstid: 0,02s Förfina resultatet
  1. 1
    Automatic abstraction in symbolic trajectory evaluation

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

    Publicerad 2007
    Conference item

Sökverktyg: