ASMs and MDGs (Masters Thesis)

Citation: Amjad Gawanmeh, "Interfacing Abstract State Machines with Multiway Decision Graphs". Master's Thesis, Department of Electrical and Computer Engineering, Concordia University, April 2003. 
Summary: A master's thesis describing an interface between ASMs and multiway decision graphs (MDGs). 
Subjects: Mechanical Verification, Benchmark Examples 
Download: From the author's homepage in PDF
Notes: An expansion of earlier work