Login / Signup
Peter Pirkelbauer
ORCID
Publication Activity (10 Years)
Years Active: 1997-2023
Publications (10 Years): 14
Top Topics
Acid Properties
Database
Lightweight
Model Checking
Top Venues
Comput. Lang. Syst. Struct.
LCPC
ICST
Future Gener. Comput. Syst.
</>
Publications
</>