Innovations
Conference Web Proceedings
Authors index
Conferences
Authors index
Georgiev, Vlado
Vlado Georgiev
Papers (1)
TMACS: A Tool for Modeling, Manipulation, and Analysis of Concurrent Systems
(31) pp. 335-345
Jane Jovanovski
,
Maja Siljanoska
,
Vladimir Carevski
,
Dragan Sahpaski
,
Petar Gjorcevski
,
Metodi Micev
,
Bojan Ilijoski
and
Vlado Georgiev