Mohammad Reza Zand Miralvand

According to our database, Mohammad Reza Zand Miralvand authored at least 1 paper in 2014.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2014

Verification of confliction and unreachability in rule-based expert systems with model checking.

Einollah Pira, Mohammad Reza Zand Miralvand, Fakhteh Soltani

CoRR, 2014