Login / Signup
Petra Dietrich
Publication Activity (10 Years)
Years Active: 2000-2000
Publications (10 Years): 0
</>
Publications
</>
Bertil A. Brandin
,
Robi Malik
,
Petra Dietrich
Incremental system verification and synthesis of minimally restrictive behaviours.
ACC
(2000)