Special issue of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015)

Publikation: Beitrag in Fachzeitschrift › Leitartikel (Editorial) › Beigetragen › Begutachtung

Beitragende

Details

OriginalspracheEnglisch
Seiten (von - bis)727–728
FachzeitschriftActa informatica
Jahrgang54
Ausgabenummer8
PublikationsstatusVeröffentlicht - 24 Apr. 2017
Peer-Review-StatusJa

Externe IDs

Scopus 85018822358
ORCID /0000-0002-5321-9343/work/142236767

Schlagworte