Specification and Formal Verification of PLAN Algorithm in Maude
Bow-Yaw Wang, Jose Meseguer and Carl A. Gunter
IEEE Workshop on Distributed System Validation and Verification (ICDCS ’00), pages E:49-E56, April 2000.
Last updated on Monday, July 25, 2011, 4:34 pm