يعرض 1 - 6 نتائج من 6 نتيجة بحث عن 'Markey, N', وقت الاستعلام: 0.02s تنقيح النتائج
  1. 1
    The cost of punctuality

    The cost of punctuality حسب Bouyer, P, Markey, N, Ouaknine, J, Worrell, J

    منشور في 2007
    Journal article
  2. 2
    On expressiveness and complexity in real-time model checking

    On expressiveness and complexity in real-time model checking حسب Bouyer, P, Markey, N, Ouaknine, J, Worrell, J

    منشور في 2008
    Journal article
  3. 3
    Computing Rational Radical Sums in Uniform TC0

    Computing Rational Radical Sums in Uniform TC0 حسب Hunter, P, Bouyer, P, Markey, N, Ouaknine, J, Worrell, J

    منشور في 2010
    Conference item
  4. 4
    On termination for faulty channel machines

    On termination for faulty channel machines حسب Bouyer, P, Markey, N, Ouaknine, J, Schnoebelen, P, Worrell, J

    منشور في 2008
    Journal article
  5. 5
    Computing Rational Radical Sums in Uniform TC0

    Computing Rational Radical Sums in Uniform TC0 حسب Hunter, P, Bouyer, P, Markey, N, Ouaknine, J, Worrell, J

    منشور في 2010
    Conference item
  6. 6
    On termination and invariance for faulty channel machines

    On termination and invariance for faulty channel machines حسب Bouyer, P, Markey, N, Ouaknine, J, Schnoebelen, P, Worrell, J

    منشور في 2012
    Journal article

أدوات البحث: