TMACS: A Tool for Modeling, Manipulation, and Analysis of Concurrent Systems

Jane Jovanovski, Maja Siljanoska, Vladimir Carevski, Dragan Sahpaski, Petar Gjorcevski, Metodi Micev, Bojan Ilijoski, Vlado Georgiev. TMACS: A Tool for Modeling, Manipulation, and Analysis of Concurrent Systems. In Ljupco Kocarev, editor, ICT Innovations 2011, Skopje, Macedonia, 14-16 September, 2011. Volume 150 of Advances in Intelligent and Soft Computing, pages 335-345, Springer, 2011. [doi]

Authors

Jane Jovanovski

This author has not been identified. Look up 'Jane Jovanovski' in Google

Maja Siljanoska

This author has not been identified. Look up 'Maja Siljanoska' in Google

Vladimir Carevski

This author has not been identified. Look up 'Vladimir Carevski' in Google

Dragan Sahpaski

This author has not been identified. Look up 'Dragan Sahpaski' in Google

Petar Gjorcevski

This author has not been identified. Look up 'Petar Gjorcevski' in Google

Metodi Micev

This author has not been identified. Look up 'Metodi Micev' in Google

Bojan Ilijoski

This author has not been identified. Look up 'Bojan Ilijoski' in Google

Vlado Georgiev

This author has not been identified. Look up 'Vlado Georgiev' in Google