Search results for: S. Gaubert
Lecture Notes in Computer Science > Computer Aided Verification > Program Analysis and Verification I > 462-475
Linear Algebra and Its Applications > 2013 > 438 > 10 > 3872-3884
Linear Algebra and Its Applications > 2013 > 438 > 2 > 738-749
La Revue de medecine interne > 2008 > 29 > 5 > 421-423
Journal of Mathematical Sciences > 2008 > 155 > 6 > 815-829
Materials Science & Engineering B > 1995 > 33 > 2-3 > 162-167