Login / Signup
Tim Kräuter
ORCID
Publication Activity (10 Years)
Years Active: 2021-2024
Publications (10 Years): 10
Top Topics
Operational Semantics
Past Observations
Temporal Consistency
Behavioral Model
Top Venues
CoRR
CALCO
J. Object Technol.
MoDELS (Companion)
</>
Publications
</>