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]
Abstract is missing.