Login / Signup
Petra Kaufmann
Publication Activity (10 Years)
Years Active: 2013-2019
Publications (10 Years): 2
Top Topics
Formal Verification
Class Diagram
State Machine
Model Checking
Top Venues
SLE
VOLT@STAF
OCL@MoDELS
IEEE ACM Trans. Comput. Biol. Bioinform.
</>
Publications
</>