Concepedia

Publication | Closed Access

Selective Mu-Calculus and Formula-Based Equivalence of Transition Systems

DOI

61

Citations

14

References

1999

Year

Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
Journal of Computer and System Sciences

References

YearCitations

Page 1