Search Results - Reitblatt, Mark

  • Showing 1 - 6 results of 6
Refine Results
  1. 1
    Abstractions for network update

    Abstractions for network update by Reitblatt, Mark, Foster, Nate, Rexford, Jennifer, Schlesinger, Cole, Walker, David

    Get full text
    Items that this one cites
    Items that cite this one
    Magazinearticle
    Save to List
    Saved in:
  2. 2
    Industrial Strength Distributed Explicit State Model Checking

    Industrial Strength Distributed Explicit State Model Checking by Bingham, B, Bingham, J, de Paula, Flavio M, Erickson, J, Singh, G, Reitblatt, M

    Request full text
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  3. 3
    Tutorial I: Syntax-guided synthesis

    Tutorial I: Syntax-guided synthesis by Alur, Rajeev, Grundy, Jim, Jha, Somesh, Reps, Tom, Harris, Bill, Foster, Nate, Guha, Arjun, Reitblatt, Mark, Schlesinger, Cole

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  4. 4
    Language Abstractions for Software-Defined Networks

    Language Abstractions for Software-Defined Networks by Foster, Nate, Freedman, Michael J, Harrison, Rob, Monsanto, Christopher, Reitblatt, Mark, Rexford, Jennifer, Story, Alec, Walker, David

    Request full text
    Report
    Save to List
    Saved in:
  5. 5
    Languages for Software-Defined Networks

    Languages for Software-Defined Networks by Foster, Nate, Freedman, Michael J, Guha, Arjun, Harrison, Rob, Katta, Naga P, Monsanto, Christopher, Reich, Joshua, Reitblatt, Mark, Rexford, Jennifer, Schlesinger, Cole

    Request full text
    Report
    Save to List
    Saved in:
  6. 6
    Languages for software-defined networks

    Languages for software-defined networks by Foster, Nate, Schlesinger, Cole, Walker, David, Harrison, Robert, Guha, Arjun, Reitblatt, Mark, Story, Alec, Freedman, Michael J., Katta, Naga Praveen, Monsanto, Christopher, Reich, Joshua, Rexford, Jennifer

    Get full text
    Items that this one cites
    Items that cite this one
    Magazinearticle
    Save to List
    Saved in:

Search Tools: