Showing 1 - 2 results of 2 for search 'K. A. Vasileva', query time: 0.02s
Refine Results
-
1
LTL Verification of Automaton Programs by K. A. Vasileva, E. V. Kuzmin
Published 2007-03-01
Article -
2