TY - CHAP A1 - Immler, Fabian A1 - Althoff, Matthias A1 - Benet, Luis A1 - Chapoutot, Alexandre A1 - Chen, Xin A1 - Forets, Marcelo A1 - Geretti, Luca A1 - Kochdumper, Niklas A1 - Sanders, David P. A1 - Schilling, Christian ED - Frehse, Goran ED - Althoff, Matthias T1 - ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics T2 - ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems UR - https://doi.org/10.29007/m75b Y1 - 2019 UR - https://doi.org/10.29007/m75b SN - 2398-7340 VL - 61 SP - 41 EP - 61 PB - EasyChair CY - Bramhall ER - TY - GEN A1 - Hecht, Dirk A1 - Apel, Sebastian A1 - Mann, Martin A1 - Sanders, Fabian ED - Der Präsident der Technischen Hochschule Ingolstadt, T1 - Einsatz von Blockchain-Technologie im Supply Chain Management T3 - Arbeitsberichte - Working Papers - 58 Y1 - 2021 UR - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:573-36832 SN - 1612-6483 PB - Technische Hochschule Ingolstadt CY - Ingolstadt ER -