Search results for: Petr Tůma
Future Generation Computer Systems > 2017 > 72 > C > 81-104
Future Generation Computer Systems > 2016 > 64 > C > 15-38
Lecture Notes in Computer Science > Formal Methods and Stochastic Models for Performance Evaluation > Workloads and Benchmarks > 63-77
Automated Software Engineering > 2017 > 24 > 1 > 139-187