Not finding it? Sign in to also search OpenAlex live.
-
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 -
Open Science for a Global Transformation: CODATA coordinated submission to the UNESCO Open Science Consultation2020 Zenodo (CERN European Organization for Nuclear Research) report Computer Science Research Data Management Practices Open access
CODATA Coordinated Expert Group, Paul Arthur Berkman, Jan Brase, Richard M. Hartshorn, Simon Hodson, Wim Hugo, +4 more
6citations
5 results