Relating Paths in Transition Systems: The Fall of the Modal Mu-Calculus
Résumé
no abstract
Communication Dans Un Congrès
Année : 2015
Catalin Dima : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01699931
Soumis le : vendredi 2 février 2018-22:51:16
Dernière modification le : vendredi 24 mars 2023-14:53:06
Citer
Catalin Dima, Bastien Maubert, Sophie Pinchinat. Relating Paths in Transition Systems: The Fall of the Modal Mu-Calculus. 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⟩. ⟨hal-01699931⟩
Collections
218
Consultations
0
Téléchargements