Johan Georg Granström. A new approach to the semantics of model diagrams. In Nils Anders Danielsson, Bengt Nordström, editors, 18th International Workshop on Types for Proofs and Programs, TYPES 2011, September 8-11, 2011, Bergen, Norway. Volume 19 of LIPIcs, pages 28-40, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2011. [doi]
@inproceedings{Granstrom11-0, title = {A new approach to the semantics of model diagrams}, author = {Johan Georg Granström}, year = {2011}, doi = {10.4230/LIPIcs.TYPES.2011.28}, url = {http://dx.doi.org/10.4230/LIPIcs.TYPES.2011.28}, researchr = {https://researchr.org/publication/Granstrom11-0}, cites = {0}, citedby = {0}, pages = {28-40}, booktitle = {18th International Workshop on Types for Proofs and Programs, TYPES 2011, September 8-11, 2011, Bergen, Norway}, editor = {Nils Anders Danielsson and Bengt Nordström}, volume = {19}, series = {LIPIcs}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik}, isbn = {978-3-939897-49-1}, }