%0 Conference Paper %1 conf/ictinnovations/JovanovskiSCSGM11 %A Jovanovski, Jane %A Siljanoska, Maja %A Carevski, Vladimir %A Sahpaski, Dragan %A Gjorcevski, Petar %A Micev, Metodi %A Ilijoski, Bojan %A Georgiev, Vlado %B ICT Innovations %D 2011 %E Kocarev, Ljupco %I Springer %K dblp %P 335-345 %T TMACS: A Tool for Modeling, Manipulation, and Analysis of Concurrent Systems. %U http://dblp.uni-trier.de/db/conf/ictinnovations/ictinnovations2011.html#JovanovskiSCSGM11 %V 150 %@ 978-3-642-28663-6

@inproceedings{conf/ictinnovations/JovanovskiSCSGM11, added-at = {2022-12-07T00:00:00.000+0100}, author = {Jovanovski, Jane and Siljanoska, Maja and Carevski, Vladimir and Sahpaski, Dragan and Gjorcevski, Petar and Micev, Metodi and Ilijoski, Bojan and Georgiev, Vlado}, biburl = {https://www.bibsonomy.org/bibtex/2798922441956bf8ea0d2802452371feb/dblp}, booktitle = {ICT Innovations}, crossref = {conf/ictinnovations/2011}, editor = {Kocarev, Ljupco}, ee = {https://doi.org/10.1007/978-3-642-28664-3_31}, interhash = {907cedf814e1250f595854ec06f3210e}, intrahash = {798922441956bf8ea0d2802452371feb}, isbn = {978-3-642-28663-6}, keywords = {dblp}, pages = {335-345}, publisher = {Springer}, series = {Advances in Intelligent and Soft Computing}, timestamp = {2024-04-10T18:50:44.000+0200}, title = {TMACS: A Tool for Modeling, Manipulation, and Analysis of Concurrent Systems.}, url = {http://dblp.uni-trier.de/db/conf/ictinnovations/ictinnovations2011.html#JovanovskiSCSGM11}, volume = 150, year = 2011 }