Morteza Yousef Sanati

According to our database, Morteza Yousef Sanati authored at least 1 paper in 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Analyzing Clinical Practice Guidelines Using a Decidable Metric Interval-Based Temporal Logic.

Morteza Yousef Sanati, Wendy MacCaull, T. S. E. Maibaum

Proceedings of the FM 2014: Formal Methods, 2014