Showing 1 - 5 results of 5 for search 'Smolka, Scott', query time: 0.02s Narrow Search
  1. 1
    Introduction to Operating System Design and Implementation The OSP 2 Approach
    by Kifer, Michael, Smolka, Scott
    Published 2007
    Click to view e-book
    eBook
    Save to List
    Saved in:
  2. 2
    CONCUR '95 Concurrency Theory 6th International Conference, Philadelphia, PA, USA, August 21 - 24, 1995. Proceedings
    Published 1995
    Other Authors: “…Smolka, Scott…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  3. 3
    Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings
    Published 2013
    Other Authors: Click to view e-book
    eBook
    Save to List
    Saved in:
  4. 4
    Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings
    Published 2014
    Other Authors: Click to view e-book
    eBook
    Save to List
    Saved in:
  5. 5
    Interactive Computation The New Paradigm
    Published 2006
    Other Authors: Click to view e-book
    eBook
    Save to List
    Saved in:

Search Tools: