Treffer 1 - 1 von 1 für Suche 'MacMillan, K. L.', Suchdauer: 0,07s Treffer weiter einschränken
  1. 1
    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: