Search results for: S. Younes
Annals of Physical and Rehabilitation Medicine > 2018 > 61 > S > e257
Archiv der Pharmazie > 351 > 5 > n/a - n/a
International Journal of Communication Systems > 31 > 1 > n/a - n/a
European Psychiatry > 2017 > 41 > S > S186
European Psychiatry > 2017 > 41 > S > S140
European Psychiatry > 2017 > 41 > S > S491
European Psychiatry > 2017 > 41 > S > S834
European Psychiatry > 2017 > 41 > S > S186
European Psychiatry > 2017 > 41 > S > S701-S702
European Psychiatry > 2017 > 41 > S > S701
European Psychiatry > 2017 > 41 > S > S591
La Revue de M�decine Interne > 2016 > 37 > S1 > A196-A197
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Probabilistic Model Checking > 46-60
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > 142-156
Lecture Notes in Computer Science > Formal Methods and Stochastic Models for Performance Evaluation > Benchmarking and Bounding > 213-227