Skip to Main content Skip to Navigation
Conference papers

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

Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-02533453
Contributor : Sophie Pinchinat <>
Submitted on : Monday, April 6, 2020 - 2:27:07 PM
Last modification on : Tuesday, April 7, 2020 - 1:54:26 AM

Identifiers

  • HAL Id : hal-02533453, version 1

Collections

Citation

Catalin Dima, Bastien Maubert. Relating Paths in Transition Systems: the Fall of the Modal mu-Calculus. 17th Italian Conference on Theoretical Computer Science, Sep 2016, Lecce, Italy. ⟨hal-02533453⟩

Share

Metrics

Record views

9