Weiter zum Inhalt Weiter zur Fußzeile

ACM SIGLOG News

ISSNs: 2372-3491

Association for Computing Machinery (ACM), New York, USA/Vereinigte Staaten

Fachzeitschrift: Zeitschrift

Titel
  • ACM SIGLOG News
ISSNs2372-3491
VerlagAssociation for Computing Machinery (ACM), New York
Land/GebietUSA/Vereinigte Staaten
ZDB-ID2848265-7

Schlagworte

Bibliotheksschlagworte

Verknüpfte Inhalte

From verification to synthesis under cost-utility constraints

Baier, C. & Dubslaff, C., 12 Nov. 2018, in: ACM SIGLOG News. 5, 4, S. 26–46

Publikation: Beitrag in FachzeitschriftForschungsartikelBeigetragenBegutachtung