Sophie Pinchinat

Documents

Présentation

catalin-dima

	The Expressive Power of Epistemic \textdollar\(μ\)\textdollar-Calculus Catalin Dima , Bastien Maubert , Sophie Pinchinat CoRR, 2014, abs/1407.5166 Article dans une revue hal-01699938v1

	Relating Paths in Transition Systems: The Fall of the Modal Mu-Calculus Catalin Dima , Bastien Maubert , Sophie Pinchinat Mathematical Foundations of Computer Science 2015 - 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I, 2015, Unknown, Unknown Region. pp.179--191, ⟨10.1007/978-3-662-48057-1_14⟩ Communication dans un congrès hal-01699931v1