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]

@inproceedings{JovanovskiSCSGM11,
  title = {TMACS: A Tool for Modeling, Manipulation, and Analysis of Concurrent Systems},
  author = {Jane Jovanovski and Maja Siljanoska and Vladimir Carevski and Dragan Sahpaski and Petar Gjorcevski and Metodi Micev and Bojan Ilijoski and Vlado Georgiev},
  year = {2011},
  doi = {10.1007/978-3-642-28664-3_31},
  url = {https://doi.org/10.1007/978-3-642-28664-3_31},
  researchr = {https://researchr.org/publication/JovanovskiSCSGM11},
  cites = {0},
  citedby = {0},
  pages = {335-345},
  booktitle = {ICT Innovations 2011, Skopje, Macedonia, 14-16 September, 2011},
  editor = {Ljupco Kocarev},
  volume = {150},
  series = {Advances in Intelligent and Soft Computing},
  publisher = {Springer},
  isbn = {978-3-642-28663-6},
}