Showing 1 - 1 results of 1 for search 'Bjoerk, M', query time: 0.02s Refine Results
  1. 1
    Automatic abstraction in symbolic trajectory evaluation

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

    Published 2007
    Conference item

Search Tools: