Items where Author is "Schnepf, Nicolas"
Group by: Category | No Grouping Number of items: 2.
Cuijpers, Pieter and Schmid, Stefan and Schnepf, Nicolas and Srba, Jiri
In: 52nd IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)
, June 2022
, Baltimore, Maryland
(2022)
Schmid, Stefan and Schnepf, Nicolas and Srba, Jiri
In: 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
, March 2021
, Virtual Conference
(2021)
|