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

Heuristic search+ local model checking in selective mu-calculus

Santone, A., "Heuristic search+ local model checking in selective mu-calculus", Software Engineering, IEEE Transactions on, vol. 29, no. 6: IEEE, pp. 510–523, 2003.