TY - CHAP A1 - Geretti, Luca A1 - Alexandre Dit Sandretto, Julien A1 - Althoff, Matthias A1 - Benet, Luis A1 - Chapoutot, Alexandre A1 - Chen, Xin A1 - Collins, Pieter A1 - Forets, Marcelo A1 - Freire, Daniel A1 - Immler, Fabian A1 - Kochdumper, Niklas A1 - Sanders, David P. A1 - Schilling, Christian ED - Frehse, Goran ED - Althoff, Matthias T1 - ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics T2 - ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20) UR - https://doi.org/10.29007/zkf6 Y1 - 2020 UR - https://doi.org/10.29007/zkf6 SN - 2398-7340 VL - 74 SP - 49 EP - 75 PB - EasyChair CY - Bramhall ER - 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 -