Search the Special Collections and Archives Portal

Johnston, Brian Matt, "Formal verification of distributed deadlock detection algorithms", 1993 Spring

Level of Description
Item
Date
1993 Spring
Container
Box 085,
To request this item in person:
Collection Number: UA-00082
Collection Name: University of Nevada, Las Vegas Theses, Dissertations, and Honors Papers
Box/Folder: Box 085
General

Master's Thesis; Computer Science

English