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
1 result