Computer Science – Systems and Control
Scientist
Computer Science
Systems and Control
Scientist
Deterministic Automata for the (F,G)-fragment of LTL
Fixed-delay Events in Generalized Semi-Markov Processes Revisited
Measuring Performance of Continuous-Time Stochastic Processes using Timed Automata
No associations
LandOfFree
Jan Křetínský does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Jan Křetínský, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Jan Křetínský will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-47327