Showing 1 - 5 results of 5 for search 'Kestrel Institute', query time: 0.12s Refine Results
  1. 1
    Towards semantics of guarded induction

    Towards semantics of guarded induction by ́Pavlovic, D

    Published 1998
    “…Kestrel Institute…”
    Report
  2. 2
    EPOXI

    EPOXI by Pavlovic, D

    Published 2001
    “…Kestrel Institute…”
    Report
  3. 3
    Derivation of the JFK protocol

    Derivation of the JFK protocol by Datta, A, Mitchell, J, Pavlovic, D

    Published 2002
    “…Kestrel Institute…”
    Report
  4. 4
    Logic of build fusion

    Logic of build fusion by Pavlovic, D

    Published 2000
    “…Kestrel Institute…”
    Report
  5. 5
    Authentication for Mobile IPv6

    Authentication for Mobile IPv6 by Datta, A, Mitchell, J, Muller, F, Pavlovic, D

    Published 2002
    “…Kestrel Institute…”
    Report

Search Tools: