Showing 1 - 1 results of 1 for search 'Bjoerk, M', 查詢時間: 0.02s Refine Results
  1. 1
    Automatic abstraction in symbolic trajectory evaluation

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

    出版 2007
    Conference item

檢索工具: