Treffer 1 - 3 von 3 für Suche 'OFEK DANA FISMAN', Suchdauer: 0,36s Treffer weiter einschränken
  1. 1
    Formal verification of temporal properties expressed using local variables

    Formal verification of temporal properties expressed using local variables von JIN NAIYONG, ARMONI ROY, OFEK DANA FISMAN

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Formal Verification of Temporal Properties Expressed Using Local Variables

    Formal Verification of Temporal Properties Expressed Using Local Variables von JIN NAIYONG, ARMONI ROY, OFEK DANA FISMAN

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  3. 3
    FORMAL VERIFICATION OF TEMPORAL PROPERTIES EXPRESSED USING LOCAL VARIABLES

    FORMAL VERIFICATION OF TEMPORAL PROPERTIES EXPRESSED USING LOCAL VARIABLES von JIN, NAIYONG, ARMONI, ROY, OFEK, DANA, FISMAN

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: