IndexAuthor

Number of items: 1.

Ben-Amran, Amir M., Amir M. and Genaim, Samir (2015) Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions. In 27th International Conference, CAV 2015, July 18-24, 2015, San Francisco (California).

This list was generated on Sat Jan 29 02:54:38 2022 CET.