Showing 1 - 3 results of 3 for search 'P. V. Lebedev', query time: 0.02s
Refine Results
-
1
Polynomial Algorithm of Verication for Subset of PLTL Logic by P. V. Lebedev
Published 2015-02-01
Article -
2
-
3