Formal Semantics and Scalable Verification for the Border Gateway Protocol Using Proof Assistants and Smt Solvers الإنجليزية (Q3510102)

من Marefa data
doctoral thesis by Konstantin Weitz, Computer Science & Engineering, University of Washington, 2017 الإنجليزية
اللغة التسمية الوصف أسماء أخرى
العربية
لم تُضف التسمية
لا يوجد وصف
    الإنجليزية
    Formal Semantics and Scalable Verification for the Border Gateway Protocol Using Proof Assistants and Smt Solvers
    doctoral thesis by Konstantin Weitz, Computer Science & Engineering, University of Washington, 2017

      بيانات

      Wikidata item الإنجليزية
      Q113668354
      ٠ مرجع
      inception الإنجليزية
      2017http://data.marefa.org/entity/Q1985727
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q113668354
      author الإنجليزية
      Konstantin Weitz الإنجليزية
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q113668354
      number of pages الإنجليزية
      ٩٨ Roman-numbered page
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q113668354
      title الإنجليزية
      Formal Semantics and Scalable Verification for the Border Gateway Protocol Using Proof Assistants and Smt Solvers (الإنجليزية)
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q113668354
      language of work or name الإنجليزية
      instance of الإنجليزية
       

      وصلات الموقع

          مجلوبة من «https://data.marefa.org/w/index.php?title=Q3510102&oldid=42337702»