Login / Signup
Zuzana Petruchová
Publication Activity (10 Years)
Years Active: 2013-2013
Publications (10 Years): 0
Top Topics
Real World
Image Sequences
Petri Net
Website
Top Venues
CBSE
</>
Publications
</>
Jiri Barnat
,
Nikola Benes
,
Ivana Cerná
,
Zuzana Petruchová
DCCL: verification of component systems with ensembles.
CBSE
(2013)