Treffer 1 - 2 von 2 für Suche 'Buy, U.A.', Suchdauer: 0,37s Treffer weiter einschränken
  1. 1
    Automated analysis of concurrent systems with the constrained expression toolset

    Automated analysis of concurrent systems with the constrained expression toolset von Avrunin, G.S., Buy, U.A., Corbett, J.C., Dillon, L.K., Wileden, J.C.


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Integer programming in the analysis of concurrent systems

    Integer programming in the analysis of concurrent systems von Avrunin, George S., Buy, Ugo A., Corbett, James C.


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: