Current filters:

Start a new search
Add filters:

Use filters to refine the search results.

Results 1-2 of 2
  • previous
  • 1
  • next
Item hits:
Issue DateTitleAuthor(s)
16-Mar-2016Modular Termination Verification for Non-blocking Concurrency (Extended Version)Da Rocha Pinto, P; Dinsdale-Young, T; Gardner, P; Sutherland, J; Engineering & Physical Science Research Council (E, et al
3-Apr-2017Moving mesh methods in Fluidity and FiredrakeMcManus, TM; Percival, JR; Yeager, BA; Barral, N; Gorman, GJ, et al