Search results for the keyword {phrase} ({results_count} of {results_count_total}). There will be further results within Author, Category and Institution pages directly.
Displaying {results_count} results of {results_count_total}
Dr Michael Tautschnig, Queen Mary, University of London Alglave J, Kroening D, Tautschnig M (2013) . Partial Orders for Efficient BMC of Concurrent Software….