Items where authors include "Heinze, T."
Up a levelJump to: Article
Number of items: 1.
Article
Biewer, S., Dimitrova, R., Fries, M. et al. (4 more authors) (2022) Conformance relations and hyperproperties for doping detection in time and space. Logical Methods in Computer Science, 18 (1). 14. ISSN 1860-5974