Computer Science – Computer Science and Game Theory
Scientist
Computer Science
Computer Science and Game Theory
Scientist
Masaryk University
Masaryk University, Czech Republic
BioDiVinE: A Framework for Parallel Analysis of Biological Models
Computing Optimal Cycle Mean in Parallel on CUDA
DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking
Platform Dependent Verification: On Engineering Verification Tools for 21st Century
Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation
No associations
LandOfFree
Luboš Brim does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Luboš Brim, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Luboš Brim will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-63895