External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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

Catalin Dima, Bastien Maubert, Sophie Pinchinat. Relating Paths in Transition Systems: the Fall of the Modal mu-Calculus. In Vittorio Bilò, Antonio Caruso, editors, Proceedings of the 17th Italian Conference on Theoretical Computer Science, Lecce, Italy, September 7-9, 2016. Volume 1720 of CEUR Workshop Proceedings, pages 240-244, CEUR-WS.org, 2016. [doi]

Authors

Catalin Dima

This author has not been identified. Look up 'Catalin Dima' in Google

Bastien Maubert

This author has not been identified. Look up 'Bastien Maubert' in Google

Sophie Pinchinat

This author has not been identified. Look up 'Sophie Pinchinat' in Google
runs on