Treffer 1 - 5 von 5 für Suche 'MANNA YONIT', Suchdauer: 0,89s Treffer weiter einschränken
  1. 1
    EDUCATIONAL SERVICES AND CONTRACTS

    EDUCATIONAL SERVICES AND CONTRACTS von WANG LEI, MANNA YONIT, MANEK PARUL RANJIT, ZHOU QIN, ROUATBI MOHAMED, LI XIN, CHARLSON ELLERY, HARDY BRIAN JAMES, ALEXANDER ZUBIN, MITTAL RAJEEV KUMAR, ZHAO ZHIPENG, GAMMILL KEVIN C

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Verification of clocked and hybrid systems

    Verification of clocked and hybrid systems von Kestent, Yonit, Manna, Zohar, Pnueli, Amir


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Temporal verification of simulation and refinement

    Temporal verification of simulation and refinement von Kesten, Yonit, Manna, Zohar, Pnueli, Amir


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Verifying clocked transition systems

    Verifying clocked transition systems von Kesten, Yonit, Manna, Zohar, Pnueli, Amir


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Verification of clocked and hybrid systems

    Verification of clocked and hybrid systems von KESTEN, Y, MANNA, Z, PNUELL, A

    Veröffentlicht in Acta informatica

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: