Search


Current filters:


Start a new search
Add filters:

Use filters to refine the search results.


Results 1-2 of 2 (Search time: 0.002 seconds).
  • previous
  • 1
  • next
Item hits:
Issue DateTitleAuthor(s)
2017Constraint-based oracles for timed distributed systemsBenharrat, N; Gaston, C; Hierons, RM; Lapitre, A; Le Gall, P
2017Decidability and Complexity for Quiescent Consistency and its VariationsDongol, B; Hierons, RM