Innovations
Conference Web Proceedings
Authors index
Conferences
Authors index
Micev, Metodi
Metodi Micev
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