Selected Scientific Publications
Export 1 results:
Author Title Type [ Year
Filters: First Letter Of Last Name is M and Author is F. Mesnard [Clear All Filters]
A New Look at the Automatic Synthesis of Linear Ranking Functions. Information and Computation. 215:47-67.
BagnaraMPZ12IC.pdf (463.08 KB)
.
2012. 