Cătălin Dima

Relating Paths in Transition Systems: the Fall of the Modal mu-Calculus

2016 · HAL Portal Artxiker (Hindustan Aeronautics Limited (India))

International audience