Search


Current filters:
Start a new search
Add filters:

Use filters to refine the search results.


Results 11-13 of 13 (Search time: 0.003 seconds).
Item hits:
Issue DateTitleAuthor(s)
2010Reaching and distinguishing states of distributed systemsHierons, RM
2006Optimizing the length of checking sequencesHierons, RM; Ural, H
2002Reduced length checking sequencesHierons, RM; Ural, H