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

Partial Order Interpretation of a Mu-Calculus-Like Temporal Logic

Santone, A., and G. Vaglini, "Partial Order Interpretation of a Mu-Calculus-Like Temporal Logic", Proceedings of the International Conference on Software and Data Technologies (ICSOFT), pp. 233-238, 2013.