Mahsa Shirmohammadi. CNRS researcher & IRIF. Research interest. Verification, probabilistic models, infinite-state systems, automata theory, ...
確定! 回上一頁