Using Model Checking for Pre-Planning Analysis
(2001)
Conference Proceeding
Fox, M., Long, D., Bradley, S., & McKinna, J. (2001). Using Model Checking for Pre-Planning Analysis.