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….
Image courtesy of interviewee. November 28, 2016
Log-in or Sign-up to Faculti
Currently viewing this subject insight as a guest. You have insight(s) remaining for this month. Login to view 8000+ figures on the platform.