Search Results - Juse, K.S.

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    Proving sequential consistency by model checking

    Proving sequential consistency by model checking by Braun, T., Condon, A., Hu, A.J., Juse, K.S., Laza, M., Leslie, M., Sharma, R.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: