Showing 1 - 1 results of 1 for search 'Anton Gnatenko', query time: 0.03s
Refine Results
-
1
On the Expressive Power of Some Extensions of Linear Temporal Logic by Anton Gnatenko, Vladimir Zakharov
Published 2018-10-01
Article