Zobrazuji výsledky 1 - 2 z 2 pro vyhledávání 'Geoff Hamilton', doba hledání: 0,02 s. Upřesnit hledání
  1. 1
    Verifying Temporal Properties of Reactive Systems by Transformation

    Verifying Temporal Properties of Reactive Systems by Transformation Autor Geoff Hamilton

    Vydáno 2015-12-01
    Získat plný text
    Článek
  2. 2
    Tight Polynomial Worst-Case Bounds for Loop Programs

    Tight Polynomial Worst-Case Bounds for Loop Programs Autor Amir M. Ben-Amram, Geoff Hamilton

    Vydáno 2020-05-01
    Získat plný text
    Článek

Vyhledávací nástroje: