Benjamin F. Engel

Benjamin F. Engel (May 1, 1914 – August 15, 1983) was a vice admiral in the United States Coast Guard. Provided by Wikipedia
Showing 1 - 3 results of 3 for search 'Engel, Benjamin', query time: 0.03s Refine Results
  1. 1
    A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select
    Get full text
    Get full text
    Get full text
    Others
  2. 2
    Waiting for Locks: How Long Does It Usually Take?
    Get full text
    Get full text
    Get full text
    Others
  3. 3
    Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code
    Get full text
    Get full text
    Get full text
    Others
Search Tools: Get RSS Feed — Email this Search