%0 Conference Paper %1 journals/entcs/BarbieratoRGIM13 %A Barbierato, Enrico %A Rossi, Gian-Luca Dei %A Gribaudo, Marco %A Iacono, Mauro %A Marin, Andrea %B PASM/PDMC %D 2012 %E Bradley, Jeremy T. %E Heljanko, Keijo %E Knottenbelt, William J. %E Thomas, Nigel %I Elsevier %K dblp %P 61-77 %T Exploiting product forms solution techniques in multiformalism modeling. %U http://dblp.uni-trier.de/db/journals/entcs/entcs296.html#BarbieratoRGIM13 %V 296

@inproceedings{journals/entcs/BarbieratoRGIM13, added-at = {2022-11-22T00:00:00.000+0100}, author = {Barbierato, Enrico and Rossi, Gian-Luca Dei and Gribaudo, Marco and Iacono, Mauro and Marin, Andrea}, biburl = {https://www.bibsonomy.org/bibtex/20d5e59e84855d322c3d804d7e910c579/dblp}, booktitle = {PASM/PDMC}, crossref = {conf/pasm/2012}, editor = {Bradley, Jeremy T. and Heljanko, Keijo and Knottenbelt, William J. and Thomas, Nigel}, ee = {https://www.wikidata.org/entity/Q113317989}, interhash = {ac263ade28b3568b2eee7d6428fb726e}, intrahash = {0d5e59e84855d322c3d804d7e910c579}, keywords = {dblp}, pages = {61-77}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-09T22:21:21.000+0200}, title = {Exploiting product forms solution techniques in multiformalism modeling.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs296.html#BarbieratoRGIM13}, volume = 296, year = 2012 }