{ "labelLang" : "hun", "responseDate" : "2024-03-29 13:14", "content" : { "otype" : "JournalArticle", "mtid" : 1635278, "status" : "ADMIN_APPROVED", "published" : true, "comment" : "Cited By :16 \n Export Date: 20 May 2022 \n Correspondence Address: Varro, D.; Department of Measurement and Information Systems, Magyar tudosok körutja 2, H-1117, Budapest, Hungary; email: varro@mit.bme.hu", "unhandledTickets" : 0, "oldTimestamp" : "2015-01-13T12:56:09.000+0000", "deleted" : false, "oldId" : 1635278, "lastRefresh" : "2023-07-21T17:01:36.268+0000", "lastModified" : "2020-12-17T19:31:11.204+0000", "created" : "2008-01-30T23:00:00.000+0000", "creator" : { "otype" : "Author", "mtid" : 10001355, "link" : "/api/author/10001355", "label" : "Varró Dániel (Informatika, szoftvertechnológia)", "familyName" : "Varró", "givenName" : "Dániel", "published" : true, "oldId" : 10001355, "snippet" : true }, "adminApproved" : "2020-08-14T10:36:48.888+0000", "adminApprover" : { "otype" : "Admin", "mtid" : 10015683, "link" : "/api/admin/10015683", "label" : "Hostyánszki Zsuzsa (BME admin 5)", "familyName" : "Hostyánszki", "givenName" : "Zsuzsa", "published" : true, "oldId" : 10015683, "snippet" : true }, "core" : true, "citation" : true, "publicationPending" : false, "type" : { "otype" : "PublicationType", "mtid" : 24, "link" : "/api/publicationtype/24", "label" : "Folyóiratcikk", "code" : 24, "otypeName" : "JournalArticle", "listPosition" : 1, "published" : true, "oldId" : 24, "snippet" : true }, "subType" : { "otype" : "SubType", "mtid" : 10000059, "link" : "/api/subtype/10000059", "label" : "Szakcikk (Folyóiratcikk)", "name" : "Szakcikk", "nameEng" : "Article", "docType" : { "otype" : "PublicationType", "mtid" : 24, "link" : "/api/publicationtype/24", "label" : "Folyóiratcikk", "code" : 24, "otypeName" : "JournalArticle", "listPosition" : 1, "published" : true, "oldId" : 24, "snippet" : true }, "listPosition" : 101, "published" : true, "oldId" : 10000059, "snippet" : true }, "category" : { "otype" : "Category", "mtid" : 1, "link" : "/api/category/1", "label" : "Tudományos", "published" : true, "oldId" : 1, "snippet" : true }, "languages" : [ { "otype" : "Language", "mtid" : 10002, "link" : "/api/language/10002", "label" : "Angol", "name" : "Angol", "nameEng" : "English", "published" : true, "oldId" : 2, "snippet" : true } ], "firstAuthor" : "Varro, D", "authorships" : [ { "otype" : "PersonAuthorship", "mtid" : 1784322, "link" : "/api/authorship/1784322", "label" : "Varro, D [Varró, Dániel (Informatika, szof...), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK)", "listPosition" : 1, "share" : 1.0, "first" : true, "last" : false, "author" : { "otype" : "Author", "mtid" : 10001355, "link" : "/api/author/10001355", "label" : "Varró Dániel (Informatika, szoftvertechnológia)", "familyName" : "Varró", "givenName" : "Dániel", "published" : true, "oldId" : 10001355, "snippet" : true }, "familyName" : "Varro", "givenName" : "D", "authorTyped" : true, "editorTyped" : false, "otherTyped" : false, "type" : { "otype" : "AuthorshipType", "mtid" : 1, "link" : "/api/authorshiptype/1", "label" : "Szerző", "code" : 0, "published" : true, "oldId" : 0, "snippet" : true }, "published" : false, "oldId" : 13152431, "snippet" : true } ], "title" : "Towards symbolic analysis of visual modeling languages", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 397293, "link" : "/api/publicationidentifier/397293", "label" : "DOI: 10.1016/S1571-0661(04)80611-X", "source" : { "otype" : "PlainSource", "mtid" : 6, "link" : "/api/publicationsource/6", "label" : "DOI", "type" : { "otype" : "PublicationSourceType", "mtid" : 10001, "link" : "/api/publicationsourcetype/10001", "label" : "DOI", "mayHaveOa" : true, "published" : true, "snippet" : true }, "name" : "DOI", "nameEng" : "DOI", "linkPattern" : "https://doi.org/@@@", "publiclyVisible" : true, "published" : true, "oldId" : 6, "snippet" : true }, "oaFree" : false, "validState" : "IDENTICAL", "idValue" : "10.1016/S1571-0661(04)80611-X", "realUrl" : "https://doi.org/10.1016/S1571-0661%2804%2980611-X", "published" : false, "oldId" : 233594, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 397292, "link" : "/api/publicationidentifier/397292", "label" : "Scopus: 10444229238", "source" : { "otype" : "PlainSource", "mtid" : 3, "link" : "/api/publicationsource/3", "label" : "Scopus", "type" : { "otype" : "PublicationSourceType", "mtid" : 10003, "link" : "/api/publicationsourcetype/10003", "label" : "Indexelő adatbázis", "mayHaveOa" : false, "published" : true, "snippet" : true }, "name" : "Scopus", "linkPattern" : "http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-@@@", "publiclyVisible" : true, "published" : true, "oldId" : 3, "snippet" : true }, "oaFree" : false, "validState" : "IDENTICAL", "idValue" : "10444229238", "realUrl" : "http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-10444229238", "published" : false, "oldId" : 233595, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 14990166, "link" : "/api/publicationidentifier/14990166", "label" : "Teljes dokumentum: https://www.sciencedirect.com/science/article/pii/S157106610480611X", "source" : { "otype" : "PlainSource", "mtid" : 39, "link" : "/api/publicationsource/39", "label" : "Teljes dokumentum", "type" : { "otype" : "PublicationSourceType", "mtid" : 10006, "link" : "/api/publicationsourcetype/10006", "label" : "Link", "mayHaveOa" : true, "published" : true, "snippet" : true }, "name" : "Teljes dokumentum", "linkPattern" : "@@@", "publiclyVisible" : true, "published" : true, "oldId" : 39, "snippet" : true }, "validState" : "NO", "idValue" : "https://www.sciencedirect.com/science/article/pii/S157106610480611X", "realUrl" : "https://www.sciencedirect.com/science/article/pii/S157106610480611X", "published" : false, "oldId" : 16710812, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 397297, "link" : "/api/publicationidentifier/397297", "label" : "Handle: 10890/1768", "source" : { "otype" : "PlainSource", "mtid" : 152, "link" : "/api/publicationsource/152", "label" : "Handle", "type" : { "otype" : "PublicationSourceType", "mtid" : 10006, "link" : "/api/publicationsourcetype/10006", "label" : "Link", "mayHaveOa" : true, "published" : true, "snippet" : true }, "name" : "Handle", "linkPattern" : "http://hdl.handle.net/@@@", "publiclyVisible" : true, "published" : true, "oldId" : 152, "snippet" : true }, "oaFree" : false, "validState" : "NO", "idValue" : "10890/1768", "realUrl" : "http://hdl.handle.net/10890/1768", "published" : false, "oldId" : 1446406, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 397294, "link" : "/api/publicationidentifier/397294", "label" : "Google scholar: 2047198026582252058", "source" : { "otype" : "PlainSource", "mtid" : 12, "link" : "/api/publicationsource/12", "label" : "Google scholar", "type" : { "otype" : "PublicationSourceType", "mtid" : 10003, "link" : "/api/publicationsourcetype/10003", "label" : "Indexelő adatbázis", "mayHaveOa" : false, "published" : true, "snippet" : true }, "name" : "Google scholar", "linkPattern" : "http://scholar.Google.com/scholar?hl=en&lr=&cluster=@@@", "publiclyVisible" : true, "published" : true, "oldId" : 12, "snippet" : true }, "oaFree" : false, "validState" : "NO", "idValue" : "2047198026582252058", "realUrl" : "http://scholar.Google.com/scholar?hl=en&lr=&cluster=2047198026582252058", "published" : false, "oldId" : 926994, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 397295, "link" : "/api/publicationidentifier/397295", "label" : "Google scholar hash: GtpQN8IbaRwJ", "source" : { "otype" : "PlainSource", "mtid" : 13, "link" : "/api/publicationsource/13", "label" : "Google scholar hash", "type" : { "otype" : "PublicationSourceType", "mtid" : 10003, "link" : "/api/publicationsourcetype/10003", "label" : "Indexelő adatbázis", "mayHaveOa" : false, "published" : true, "snippet" : true }, "name" : "Google scholar hash", "nameEng" : "Google scholar hash", "linkPattern" : "http://scholar.Google.com/scholar?hl=en&lr=&cluster=@@@", "publiclyVisible" : true, "published" : true, "oldId" : 13, "snippet" : true }, "oaFree" : false, "validState" : "NO", "idValue" : "GtpQN8IbaRwJ", "realUrl" : "http://scholar.Google.com/scholar?hl=en&lr=&cluster=GtpQN8IbaRwJ", "published" : false, "oldId" : 926995, "snippet" : true } ], "journal" : { "otype" : "Journal", "mtid" : 10004909, "link" : "/api/journal/10004909", "label" : "ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE 1571-0661", "pIssn" : "1571-0661", "reviewType" : "REVIEWED", "noIF" : true, "sciIndexed" : false, "scopusIndexed" : true, "lang" : "FOREIGN", "hungarian" : false, "published" : true, "oldId" : 10004909, "snippet" : true }, "volume" : "72", "issue" : "3", "firstPage" : "51", "lastPage" : "64", "firstPageOrInternalIdForSort" : "51", "pageLength" : 14, "publishedYear" : 2003, "abstractText" : "Graph transformation has recently become more and more popular as a general, rule-based visual specification paradigm to formally capture the operational semantics of modeling languages based on metamodeling techniques as demonstrated by benchmark applications focusing on the formal treatment of the Unified Modeling Language (UML). In the paper, we enable model checking-based symbolic verification for such modeling languages by providing a meta-level transformation of well-formed model instances into SAL specifications. We also discuss several optimizations in the translation process that makes our approach efficient and independent of the SAL framework. ?2003 Published by Elsevier Science B. V.", "subjects" : [ { "otype" : "Classification", "mtid" : 10003, "link" : "/api/classification/10003", "label" : "Matematika", "published" : true, "snippet" : true }, { "otype" : "Classification", "mtid" : 10034, "link" : "/api/classification/10034", "label" : "Számítás- és információtudomány", "published" : true, "snippet" : true } ], "digital" : null, "printed" : null, "sourceYear" : 2008, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : true, "conferencePublication" : false, "nationalOrigin" : true, "missingAuthor" : false, "oaType" : "NONE", "oaCheckDate" : "2023-07-21", "oaFree" : false, "citationCount" : 36, "citationCountUnpublished" : 0, "citationCountWoOther" : 29, "independentCitCountWoOther" : 25, "nationalOriginCitationCount" : 8, "foreignEditionCitationCount" : 25, "doiCitationCount" : 13, "wosCitationCount" : 14, "scopusCitationCount" : 20, "wosScopusCitationCount" : 21, "wosScopusCitationCountWoOther" : 21, "wosScopusIndependentCitationCount" : 17, "wosScopusIndependentCitationCountWoOther" : 17, "independentCitationCount" : 32, "selfCitationCount" : 4, "unhandledCitationCount" : 0, "citingPubCount" : 36, "independentCitingPubCount" : 32, "citingPubCountWoOther" : 29, "independentCitingPubCountWoOther" : 25, "unhandledCitingPubCount" : 0, "citedPubCount" : 4, "citedCount" : 4, "pubStats" : { "types" : [ { "type" : "Folyóiratcikk", "typeEng" : "Journal Article", "code" : 24, "count" : 18 }, { "type" : "Könyvrészlet", "typeEng" : "Chapter in Book", "code" : 25, "count" : 6 }, { "type" : "Könyv", "typeEng" : "Book", "code" : 23, "count" : 0 }, { "type" : "Egyéb konferenciaközlemény", "typeEng" : "Conference paper", "code" : 31, "count" : 5 }, { "type" : "Egyéb konferenciakötet", "typeEng" : "Conference proceedings", "code" : 32, "count" : 0 }, { "type" : "Oltalmi formák", "typeEng" : "Protection forms", "code" : 26, "count" : 0 }, { "type" : "Disszertáció", "typeEng" : "Thesis", "code" : 28, "count" : 4 }, { "type" : "Egyéb", "typeEng" : "Miscellaneous", "code" : 29, "count" : 3 }, { "type" : "Alkotás", "typeEng" : "Achievement", "code" : 22, "count" : 0 }, { "type" : "Kutatási adat", "typeEng" : "Research data", "code" : 33, "count" : 0 } ], "citationTypes" : [ { "type" : "Folyóiratcikk", "typeEng" : "Journal Article", "code" : 24, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 }, { "type" : "Könyvrészlet", "typeEng" : "Chapter in Book", "code" : 25, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 }, { "type" : "Könyv", "typeEng" : "Book", "code" : 23, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 }, { "type" : "Egyéb konferenciaközlemény", "typeEng" : "Conference paper", "code" : 31, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 }, { "type" : "Egyéb konferenciakötet", "typeEng" : "Conference proceedings", "code" : 32, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 }, { "type" : "Oltalmi formák", "typeEng" : "Protection forms", "code" : 26, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 }, { "type" : "Disszertáció", "typeEng" : "Thesis", "code" : 28, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 }, { "type" : "Egyéb", "typeEng" : "Miscellaneous", "code" : 29, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 }, { "type" : "Alkotás", "typeEng" : "Achievement", "code" : 22, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 }, { "type" : "Kutatási adat", "typeEng" : "Research data", "code" : 33, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 } ], "years" : [ { "year" : 2002, "publicationCount" : 0, "citationCount" : 1, "independentCitationCount" : 1, "citingPubCount" : 1, "independentCitingPubCount" : 1, "oaStats" : null, "oaStats2" : null }, { "year" : 2003, "publicationCount" : 0, "citationCount" : 2, "independentCitationCount" : 1, "citingPubCount" : 2, "independentCitingPubCount" : 1, "oaStats" : null, "oaStats2" : null }, { "year" : 2004, "publicationCount" : 0, "citationCount" : 5, "independentCitationCount" : 3, "citingPubCount" : 5, "independentCitingPubCount" : 3, "oaStats" : null, "oaStats2" : null }, { "year" : 2005, "publicationCount" : 0, "citationCount" : 10, "independentCitationCount" : 10, "citingPubCount" : 10, "independentCitingPubCount" : 10, "oaStats" : null, "oaStats2" : null }, { "year" : 2006, "publicationCount" : 0, "citationCount" : 7, "independentCitationCount" : 6, "citingPubCount" : 7, "independentCitingPubCount" : 6, "oaStats" : null, "oaStats2" : null }, { "year" : 2007, "publicationCount" : 0, "citationCount" : 2, "independentCitationCount" : 2, "citingPubCount" : 2, "independentCitingPubCount" : 2, "oaStats" : null, "oaStats2" : null }, { "year" : 2008, "publicationCount" : 0, "citationCount" : 5, "independentCitationCount" : 5, "citingPubCount" : 5, "independentCitingPubCount" : 5, "oaStats" : null, "oaStats2" : null }, { "year" : 2009, "publicationCount" : 0, "citationCount" : 2, "independentCitationCount" : 2, "citingPubCount" : 2, "independentCitingPubCount" : 2, "oaStats" : null, "oaStats2" : null }, { "year" : 2010, "publicationCount" : 0, "citationCount" : 2, "independentCitationCount" : 2, "citingPubCount" : 2, "independentCitingPubCount" : 2, "oaStats" : null, "oaStats2" : null } ] }, "ratings" : [ { "otype" : "SjrRating", "mtid" : 6030642, "link" : "/api/sjrrating/6030642", "label" : "sjr:Q3 (2003) Scopus - Computer Science (miscellaneous) ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE 1571-0661", "listPos" : 45, "rankValue" : 0.74, "type" : "journal", "ratingType" : { "otype" : "RatingType", "mtid" : 10002, "link" : "/api/ratingtype/10002", "label" : "sjr", "code" : "sjr", "published" : true, "snippet" : true }, "subject" : { "otype" : "ClassificationExternal", "mtid" : 1701, "link" : "/api/classificationexternal/1701", "label" : "Scopus - Computer Science (miscellaneous)", "published" : true, "oldId" : 1701, "snippet" : true }, "ranking" : "Q3", "calculation" : "DIRECT", "published" : true, "oldId" : 6030642, "snippet" : true } ], "ratingsForSort" : "Q3", "references" : [ { "otype" : "Reference", "mtid" : 1280579, "link" : "/api/reference/1280579", "label" : "1. The Mur? Model Checker, , http://verify.stanford.edu/dill/murphi.html", "listPosition" : 1, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 1280580, "link" : "/api/reference/1280580", "label" : "2. The SMV Model Checker, , http://www-2.cs.cmu.edu/~modelcheck/smv.html", "listPosition" : 2, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 1280581, "link" : "/api/reference/1280581", "label" : "3. Baldan, P., Corradini, A., Konig, B., A static analysis technique for graph transformation systems (2001) LNCS, 2154, pp. 381-395. , K. G. Larsen and M. Nielsen, editors, CONCUR 2001 - Concurrency Theory, 12th International Conference", "listPosition" : 3, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 1280582, "link" : "/api/reference/1280582", "label" : "4. Bensalem, S., Ganesh, V., Lakhnech, Y., Munoz, C., Owre, S., Rue, H., Rushby, J., Tiwari, A., An overview of SAL (2000) LFM 2000: Fifth NASA Langley Formal Methods Workshop, pp. 187-196. , C.M. Holloway", "listPosition" : 4, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 1280583, "link" : "/api/reference/1280583", "label" : "5. Corradini, A., Montanari, U., Rossi, F., Graph processes (1996) Fundamenta Informaticae, 26, pp. 241-265", "listPosition" : 5, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 1280584, "link" : "/api/reference/1280584", "label" : "6. Engels, G., Heckel, R., Kuster, J.M., Rule-based specification of behavioral consistency based on the UML meta-model (2001) UML 2001: The Unified Modeling Language. Modeling Languages, Concepts and Tools, LNCS, 2185, pp. 272-286. , M. Gogolla, Kobryn C", "listPosition" : 6, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 1280585, "link" : "/api/reference/1280585", "label" : "7. Heckel, R., Compositional verification of reactive systems specified by graph transformation (1998) LNCS, 1382, pp. 138-153. , Proc. FASE: Fundamental Approaches to Software Engineering", "listPosition" : 7, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 1280586, "link" : "/api/reference/1280586", "label" : "8. Heckel, R., Ehrig, H., Wolter, U., Corradini, A., Integrating the specification techniques of graph transformation and temporal logic (1997) LNCS, 1295, pp. 219-228. , Proc. Mathematical Foundations of Computer Science (MFCS'97), Bratislava", "listPosition" : 8, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 1280587, "link" : "/api/reference/1280587", "label" : "9. Heckel, R., Kuster, J., Taentzer, G., Towards automatic translation of UML models into semantic domains (2002) Proc. AGT 2002: Workshop on Applied Graph Transformation, pp. 11-21. , Grenoble, France", "listPosition" : 9, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 1280588, "link" : "/api/reference/1280588", "label" : "10. Holzmann, G., The model checker SPIN (1997) IEEE Transactions on Software Engineering, 23, pp. 279-295", "listPosition" : 10, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 1280589, "link" : "/api/reference/1280589", "label" : "11. Juan De Lara, H., Vangheluwe, Atom3: A tool for multi-formalism and meta-modelling (2002) LNCS, 2306, pp. 174-188. , R.-D. Kutsche and H. Weber, editors, 5th International Conference, FASE 2002: Fundamental Approaches to Software Engineering, Grenoble, France, April 8-12, 2002, Proceedings", "listPosition" : 11, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 1280590, "link" : "/api/reference/1280590", "label" : "12. (1997) Handbook of Graph Grammars and Computing by Graph Transformations: Foundations, , G. Rozenberg. World Scientific", "listPosition" : 12, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 1280591, "link" : "/api/reference/1280591", "label" : "13. Saidi, H., Model checking guided abstraction and analysis (2000) LNCS, 1824, pp. 377-339. , http://www.sdl.sri.com/papers/saidi_sas00/, J. Palsberg, editor, Seventh International Static Analysis Symposium (SAS'00)", "listPosition" : 13, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 1280592, "link" : "/api/reference/1280592", "label" : "14. Salamon, G., (2002) Formal Verification of Model Transformation Systems, , Master's thesis, Budapest University of Technology and Economics", "listPosition" : 14, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 1280593, "link" : "/api/reference/1280593", "label" : "15. Sprinkle, J., Karsai, G., Defining a basis for metamodel driven model migration (2002) Proceedings of 9th Annual IEEE Internation Conference and Workshop on the Engineering of Computer-based Systems, , Lund, Sweden", "listPosition" : 15, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 1280594, "link" : "/api/reference/1280594", "label" : "16. Varro, D., A formal semantics of UML Statecharts by model transition systems (2002) Proc. ICGT 2002: 1st International Conference on Graph Transformation, , H.-J. Kreowski and P. Knirsch, editors LNCS accepted paper", "listPosition" : 16, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 1280595, "link" : "/api/reference/1280595", "label" : "17. Varro, D., Pataricza, A., Metamodeling mathematics: A precise and visual framework for describing semantics domains of UML models (2002) Proc. Fifth International Conference on the Unified Modeling Language - The Language and Its Applications, , H.-J. Jezequel, H. Hussmann and S. Cook, editors LNCS accepted paper", "listPosition" : 17, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 1280596, "link" : "/api/reference/1280596", "label" : "18. Varro, D., Varro, G., Pataricza, A., Designing the automatic transformation of visual languages (2002) Science of Computer Programming, 44, pp. 205-227", "listPosition" : 18, "published" : false, "snippet" : true } ], "hasCitationDuplums" : false, "userChangeableUntil" : "2014-08-13T11:20:03.000+0000", "publishDate" : "2013-02-23T19:18:00.000+0000", "directInstitutesForSort" : "Méréstechnika és Információs Rendszerek Tanszék (BME / VIK)", "ownerAuthorCount" : 1, "ownerInstituteCount" : 4, "directInstituteCount" : 1, "authorCount" : 1, "contributorCount" : 0, "hasQualityFactor" : false, "link" : "/api/publication/1635278", "label" : "Varro D. Towards symbolic analysis of visual modeling languages. (2003) ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE 1571-0661 72 3 51-64", "template" : "