Graph explorer

Manuel Gieseking

Manuel Gieseking contributes to research discovery and scholarly infrastructure.

3 nodes2 linksoverview previewManuel Gieseking
3 nodes2 links
Manuel Gieseking3 visible / 3 total nodes / 2 links
AuthorshipAuthorshipAManuel GiesekingResearcherWModel Checking Branchin...preprint / 2020WAdamMC: A Model Checker...preprint / 2020
PersonSignal 102 links

Manuel Gieseking

Researcher

Open