Treffer 1 - 4 von 4 für Suche 'Hailpern, Brent', Suchdauer: 0,47s Treffer weiter einschränken
  1. 1
    Verifying concurrent processes using temporal logic

    Verifying concurrent processes using temporal logic von Hailpern, Brent T.

    Veröffentlicht 1982
    Abschlussarbeit Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Verifying concurrent processes using temporal logic

    Verifying concurrent processes using temporal logic von Hailpern, Brent T.

    Veröffentlicht 1980
    Abschlussarbeit Mikrofilm Buch

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

    Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications von Hailpern, Brent

    Veröffentlicht 1999
    DE-19
    URL des Erstveröffentlichers
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Verifying concurrent processes using temporal logic

    Verifying concurrent processes using temporal logic von Hailpern, Brent T.

    Veröffentlicht 1982
    Volltext
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: