Vol-1719⫷ Vol-1720 ⫸Vol-1721
urn:nbn:de:0074-1720-0


Vol-1720/short3⫷Vol-1720/short4⫸Vol-1720/short5
Catalin DimaBastien MaubertSophie Pinchinat

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