{ "labelLang" : "hun", "responseDate" : "2024-03-29 08:04", "content" : { "otype" : "Citation", "mtid" : 26296618, "status" : "APPROVED", "published" : true, "unhandledTickets" : 0, "oldTimestamp" : "2017-01-12T12:46:10.000+0000", "deleted" : false, "oldId" : 16296618, "lastRefresh" : "2023-09-20T10:11:21.839+0000", "lastModified" : "2018-10-19T17:51:57.819+0000", "created" : "2017-01-12T12:42:33.000+0000", "publication" : { "otype" : "BookChapter", "mtid" : 2442424, "link" : "/api/publication/2442424", "label" : "Hajdu Ákos et al. Extensions to the CEGAR Approach on Petri Nets. (2013) Megjelent: 13th Symposium on Programming Languages and Software Tools pp. 274-288", "core" : true, "citation" : true, "publicationPending" : false, "type" : { "otype" : "PublicationType", "mtid" : 25, "link" : "/api/publicationtype/25", "label" : "Könyvrészlet", "code" : 25, "otypeName" : "BookChapter", "listPosition" : 2, "published" : true, "oldId" : 25, "snippet" : true }, "subType" : { "otype" : "SubType", "mtid" : 10000312, "link" : "/api/subtype/10000312", "label" : "Konferenciaközlemény (Könyvrészlet)", "name" : "Konferenciaközlemény", "nameEng" : "Conference paper", "docType" : { "otype" : "PublicationType", "mtid" : 25, "link" : "/api/publicationtype/25", "label" : "Könyvrészlet", "code" : 25, "otypeName" : "BookChapter", "listPosition" : 2, "published" : true, "oldId" : 25, "snippet" : true }, "listPosition" : 228, "published" : true, "oldId" : 10000312, "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 } ], "title" : "Extensions to the CEGAR Approach on Petri Nets", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 728752, "link" : "/api/publicationidentifier/728752", "label" : "SZTAKI: 7668", "source" : { "otype" : "SwordSource", "mtid" : 86, "link" : "/api/publicationsource/86", "label" : "SZTAKI", "type" : { "otype" : "PublicationSourceType", "mtid" : 10007, "link" : "/api/publicationsourcetype/10007", "label" : "Repozitórium", "mayHaveOa" : true, "published" : true, "snippet" : true }, "name" : "SZTAKI", "nameEng" : "SZTAKI", "linkPattern" : "https://eprints.sztaki.hu/@@@", "publiclyVisible" : true, "published" : true, "oldId" : 86, "snippet" : true }, "oaType" : "GREEN", "oaFree" : true, "validState" : "IDENTICAL", "idValue" : "7668", "realUrl" : "https://eprints.sztaki.hu/7668", "published" : false, "oldId" : 629824, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 728751, "link" : "/api/publicationidentifier/728751", "label" : "Scopus: 84923550169", "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" : "84923550169", "realUrl" : "http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84923550169", "published" : false, "oldId" : 1275956, "snippet" : true } ], "publishedAt" : [ ], "pageLength" : 15, "publishedYear" : 2013, "foreignEdition" : false, "foreignLanguage" : true, "fullPublication" : true, "conferencePublication" : true, "nationalOrigin" : false, "oaLink" : "https://eprints.sztaki.hu/7668", "published" : true, "oldId" : 2442424, "snippet" : true }, "publicationMtid" : 2442424, "related" : { "otype" : "Thesis", "mtid" : 2944271, "link" : "/api/publication/2944271", "label" : "Varró-Gyapay Szilvia. Trajectory Set Approximation for Optimization and Verification of IT Systems. (2015)", "core" : true, "citation" : true, "publicationPending" : false, "type" : { "otype" : "PublicationType", "mtid" : 28, "link" : "/api/publicationtype/28", "label" : "Disszertáció", "code" : 28, "otypeName" : "Thesis", "listPosition" : 8, "published" : true, "oldId" : 28, "snippet" : true }, "subType" : { "otype" : "SubType", "mtid" : 9, "link" : "/api/subtype/9", "label" : "PhD (Disszertáció)", "name" : "PhD", "nameEng" : "PhD", "docType" : { "otype" : "PublicationType", "mtid" : 28, "link" : "/api/publicationtype/28", "label" : "Disszertáció", "code" : 28, "otypeName" : "Thesis", "listPosition" : 8, "published" : true, "oldId" : 28, "snippet" : true }, "listPosition" : 867, "published" : true, "oldId" : 9, "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 } ], "title" : "Trajectory Set Approximation for Optimization and Verification of IT Systems", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 1017296, "link" : "/api/publicationidentifier/1017296", "label" : "ODT védés: 14303", "source" : { "otype" : "PlainSource", "mtid" : 154, "link" : "/api/publicationsource/154", "label" : "ODT védés", "type" : { "otype" : "PublicationSourceType", "mtid" : 10006, "link" : "/api/publicationsourcetype/10006", "label" : "Link", "mayHaveOa" : true, "published" : true, "snippet" : true }, "name" : "ODT védés", "linkPattern" : "http://www.doktori.hu/index.php?menuid=193&vid=@@@", "publiclyVisible" : true, "published" : true, "oldId" : 154, "snippet" : true }, "oaFree" : false, "validState" : "NO", "idValue" : "14303", "realUrl" : "http://www.doktori.hu/index.php?menuid=193&vid=14303", "published" : false, "oldId" : 1211047, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 1017294, "link" : "/api/publicationidentifier/1017294", "label" : "Teljes dokumentum: http://www.omikk.bme.hu/collections/phd/Villamosmernoki_es_Informatikai_Kar/2015/Varro_Gyapay_Szilvia/ertekezes.pdf", "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 }, "oaType" : "GREEN", "oaFree" : true, "validState" : "IDENTICAL", "idValue" : "http://www.omikk.bme.hu/collections/phd/Villamosmernoki_es_Informatikai_Kar/2015/Varro_Gyapay_Szilvia/ertekezes.pdf", "realUrl" : "http://www.omikk.bme.hu/collections/phd/Villamosmernoki_es_Informatikai_Kar/2015/Varro_Gyapay_Szilvia/ertekezes.pdf", "published" : false, "oldId" : 1211045, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 1017295, "link" : "/api/publicationidentifier/1017295", "label" : "Handle: 10890/1412", "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/1412", "realUrl" : "http://hdl.handle.net/10890/1412", "published" : false, "oldId" : 1211046, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 13628822, "link" : "/api/publicationidentifier/13628822", "label" : "Google scholar: 11647834108180663918", "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 }, "validState" : "NO", "idValue" : "11647834108180663918", "realUrl" : "http://scholar.Google.com/scholar?hl=en&lr=&cluster=11647834108180663918", "published" : false, "oldId" : 16675113, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 13628823, "link" : "/api/publicationidentifier/13628823", "label" : "Google scholar hash: bo7JlGhrpaEJ", "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 }, "validState" : "NO", "idValue" : "bo7JlGhrpaEJ", "realUrl" : "http://scholar.Google.com/scholar?hl=en&lr=&cluster=bo7JlGhrpaEJ", "published" : false, "oldId" : 16675114, "snippet" : true } ], "publishedAt" : [ ], "pageLength" : 130, "publishedYear" : 2015, "foreignEdition" : false, "foreignLanguage" : true, "fullPublication" : false, "conferencePublication" : false, "nationalOrigin" : true, "oaLink" : "http://www.omikk.bme.hu/collections/phd/Villamosmernoki_es_Informatikai_Kar/2015/Varro_Gyapay_Szilvia/ertekezes.pdf", "published" : true, "oldId" : 2944271, "snippet" : true }, "relatedMtid" : 2944271, "source" : "kézi felvitel", "externalCitation" : true, "externalCitationOK" : null, "mentions" : [ { "otype" : "Mention", "mtid" : 358207, "link" : "/api/mention/358207", "label" : "[74] extended the counterexample guided abstraction refinement for Petri net reachability problem by means of T–invariants published in [128] to a larger set of problems.", "listPosition" : 1, "context" : "[74] extended the counterexample guided abstraction refinement for Petri net reachability problem by means of T–invariants published in [128] to a larger set of problems.", "published" : false, "snippet" : true } ], "mentionCount" : 1, "link" : "/api/citation/26296618", "label" : "Varró-Gyapay Szilvia. Trajectory Set Approximation for Optimization and Verification of IT Systems. (2015)", "template" : "