@article{ENTCS2013ProductForms, title = "Exploiting product forms solution techniques in multiformalism modeling ", journal = "Electronic Notes in Theoretical Computer Science ", volume = "296", number = "0", pages = "61 - 77", year = "2013", issn = "1571-0661", doi = "http://dx.doi.org/10.1016/j.entcs.2013.07.005", author = "Enrico Barbierato and Gian-Luca Dei Rossi and Marco Gribaudo and Mauro Iacono and Andrea Marin" }