skip to content
  • it
UNIVERSITÀ DEGLI STUDI
DEL SANNIO   Benevento
 

Selective mu-calculus and formula-based equivalence of transition systems

Barbuti, R., N. De Francesco, A. Santone, and G. Vaglini, "Selective mu-calculus and formula-based equivalence of transition systems", Journal of Computer and System Sciences, vol. 59, no. 3: Elsevier, pp. 537–556, 1999.