UScholar Works
 
Filters: Department: "Kahlert School of Computing" Subject: "Concurrent protocols"
1 - 25 of 1
Number of results to display per page
TitleDateType
1 An interface aware guided search method for error-trace justification in large protocols2008Text
1 - 25 of 1