Not finding it? Sign in to also search OpenAlex live.
-
NFDI-MatWerk: Participant Projects & Infrastructure Use Cases2021 Zenodo (CERN European Organization for Nuclear Research) report Computer Science Research Data Management Practices Open access
Christoph Eberl, Markus Niebel, Tilmann Beck, Erik Bitzek, Mathias Bobbert, Thomas Böhlke, +35 more
0citations -
Towards an Isabelle Theory for distributed, interactive systems : the untimed case2020 RWTH Publications (RWTH Aachen) report Computer Science Logic, programming, and type systems Open access
Jens Christoph Bürger, Hendrik Kausch, Deni Raco, Jan Oliver Ringert, Bernhard Rumpe⋆, Sebastian Stüber, +1 more
3citations
2 results