conference-paper
Relating Paths in Transition Systems: the Fall of the Modal mu-Calculus
Research footprint
At a glance
- Citations
- 0
- References
- 3
- Comments
- 0
Paper overview
Abstract
International audience
Record transparency
Publication details
- DOI
- 10.1145/3231596
- OpenAlex
- W2579570446
- Document type
- conference-paper
- Language
- EN
- Source
- HAL Portal Artxiker (Hindustan Aeronautics Limited (India))
- Last metadata update
Comments
Log in to join the discussion.