Treffer 1 - 3 von 3 für Suche 'Clarke, E. M.', Suchdauer: 0,19s Treffer weiter einschränken
  1. 1
    Model checking

    Model checking von Clarke, E. M.

    Veröffentlicht 1999
    FAW01
    FAW02
    Volltext
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  2. 2
    The characterization problem for hoare logic

    The characterization problem for hoare logic von Clarke, E. M.

    Veröffentlicht 1984
    Buch

    Zu den Favoriten
    Gespeichert in:
  3. 3
    A language for compositional specification and verification of finite state hardware controllers

    A language for compositional specification and verification of finite state hardware controllers von Clarke, E. M., Long, D. E., MacMillan, K. L.

    Veröffentlicht 1989
    Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: