Showing 1 - 1 results of 1 for search 'Bj�rk, M', query time: 0.02s
Refine Results
-
1
Automatic Abstraction in Symbolic Trajectory Evaluation by Adams, S, Bj�rk, M, Melham, T, Seger, C
Published 2007Conference item