Search results for: Benoît Barbot
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Timed and Probabilistic Systems > 128-142
Performance Evaluation > 2015 > 90 > Complete > 53-77
Applied Acoustics > 2012 > 73 > 1 > 66-71
Applied Acoustics > 2011 > 72 > 4 > 169-176
Applied Acoustics > 2009 > 70 > 7 > 903-914