Sources
Every source backing a fact on Roman Englert's own page, deduplicated — the same source backing several facts appears once.
- https://dl.acm.org/action/showFmPdf?doi=10.1145%2F1613858 — https://dl.acm.org/action/showFmPdf?doi=10.1145%2F1613858
Every source backing a fact on Roman Englert's own page, deduplicated — the same source backing several facts appears once.