Search results for: Xavier Olive
The Journal of Wildlife Management > 84 > 4 > 651 - 665
Mammalian Biology - Zeitschrift f�r S�ugetierkunde > 2017 > 87 > C > 101-106
Mammalian Biology > 2017 > 87 > 1 > 101-106
Acta Astronautica > 2016 > 122 > C > 324-335
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Worst-Case Traversal Time (WCTT) > 122-136
Aerospace Science and Technology > 2013 > 28 > 1 > 214-226
International Journal of Applied Mathematics and Computer Science > 2012 > 22 > 1 > 99-107