{ "labelLang" : "hun", "responseDate" : "2024-03-28 18:32", "content" : { "otype" : "Citation", "mtid" : 25269155, "status" : "APPROVED", "published" : true, "unhandledTickets" : 0, "oldTimestamp" : "2016-01-12T12:30:24.000+0000", "deleted" : false, "oldId" : 15269155, "lastModified" : "2016-01-12T12:30:24.000+0000", "created" : "2016-01-12T12:30:08.000+0000", "publication" : { "otype" : "BookChapter", "mtid" : 2768057, "link" : "/api/publication/2768057", "label" : "Darvas Dániel et al. Formal verification of complex properties on PLC programs. (2014) Megjelent: Formal Techniques for Distributed Objects, Components, and Systems pp. 284-299", "core" : true, "citation" : false, "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" : "Formal verification of complex properties on PLC programs", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 909123, "link" : "/api/publicationidentifier/909123", "label" : "DOI: 10.1007/978-3-662-43613-4_18", "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 }, "oaType" : "PAY", "oaFree" : false, "validState" : "NO", "idValue" : "10.1007/978-3-662-43613-4_18", "published" : false, "oldId" : 986646, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 909121, "link" : "/api/publicationidentifier/909121", "label" : "WoS: 000343013000018", "source" : { "otype" : "PlainSource", "mtid" : 1, "link" : "/api/publicationsource/1", "label" : "WoS", "type" : { "otype" : "PublicationSourceType", "mtid" : 10003, "link" : "/api/publicationsourcetype/10003", "label" : "Indexelő adatbázis", "mayHaveOa" : false, "published" : true, "snippet" : true }, "name" : "WoS", "nameEng" : "WoS", "linkPattern" : "http://gateway.isiknowledge.com/gateway/Gateway.cgi?&GWVersion=2&SrcAuth=CustomerName&SrcApp=CustomerName&DestLinkType=FullRecord&KeyUT=@@@&DestApp=WOS", "publiclyVisible" : true, "published" : true, "oldId" : 1, "snippet" : true }, "oaFree" : false, "validState" : "DIFFERENT", "idValue" : "000343013000018", "published" : false, "oldId" : 1045840, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 909122, "link" : "/api/publicationidentifier/909122", "label" : "Scopus: 84902587745", "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" : "NO", "idValue" : "84902587745", "published" : false, "oldId" : 1319108, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 909125, "link" : "/api/publicationidentifier/909125", "label" : "Repozitóriumban: http://cds.cern.ch/record/1956442?ln=en", "source" : { "otype" : "PlainSource", "mtid" : 142, "link" : "/api/publicationsource/142", "label" : "Repozitóriumban", "type" : { "otype" : "PublicationSourceType", "mtid" : 10006, "link" : "/api/publicationsourcetype/10006", "label" : "Link", "mayHaveOa" : true, "published" : true, "snippet" : true }, "name" : "Repozitóriumban", "linkPattern" : "@@@", "publiclyVisible" : true, "published" : true, "oldId" : 142, "snippet" : true }, "oaType" : "GREEN", "oaFree" : false, "validState" : "IDENTICAL", "idValue" : "http://cds.cern.ch/record/1956442?ln=en", "published" : false, "oldId" : 994688, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 909124, "link" : "/api/publicationidentifier/909124", "label" : "Google scholar: 6404698891925703491", "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" : "6404698891925703491", "published" : false, "oldId" : 1249192, "snippet" : true } ], "publishedAt" : [ ], "pageLength" : 15, "publishedYear" : 2014, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : true, "conferencePublication" : true, "nationalOrigin" : true, "oaLink" : "http://cds.cern.ch/record/1956442?ln=en", "published" : true, "oldId" : 2768057, "snippet" : true }, "publicationMtid" : 2768057, "related" : { "otype" : "JournalArticle", "mtid" : 25269155, "link" : "/api/publication/25269155", "label" : "Vidhya D. Research Trends in Formal Verification Process for Analog and Mixed Signal Design. (2015) INTERNATIONAL JOURNAL OF COMPUTER APPLICATIONS 0975-8887 109 11 10-15", "core" : false, "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 } ], "title" : "Research Trends in Formal Verification Process for Analog and Mixed Signal Design", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 10116921, "link" : "/api/publicationidentifier/10116921", "label" : "DOI: 10.5120/19231-0958", "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 }, "validState" : "NO", "idValue" : "10.5120/19231-0958", "published" : false, "oldId" : 10840855, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 10116922, "link" : "/api/publicationidentifier/10116922", "label" : "Google scholar hash: 16495288217176609223", "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" : "16495288217176609223", "published" : false, "oldId" : 11625882, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 10116923, "link" : "/api/publicationidentifier/10116923", "label" : "Teljes dokumentum: http://research.ijcaonline.org/volume109/number11/pxc3900958.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 }, "validState" : "NO", "idValue" : "http://research.ijcaonline.org/volume109/number11/pxc3900958.pdf", "published" : false, "oldId" : 10840856, "snippet" : true } ], "journal" : { "otype" : "Journal", "mtid" : 10040526, "link" : "/api/journal/10040526", "label" : "INTERNATIONAL JOURNAL OF COMPUTER APPLICATIONS 0975-8887", "pIssn" : "0975-8887", "reviewType" : "REVIEWED", "noIF" : true, "sciIndexed" : false, "scopusIndexed" : false, "lang" : "FOREIGN", "hungarian" : false, "published" : true, "oldId" : 10040526, "snippet" : true }, "volume" : "109", "issue" : "11", "publishedAt" : [ ], "publishedYear" : 2015, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : true, "conferencePublication" : false, "nationalOrigin" : false, "published" : true, "oldId" : 15269155, "snippet" : true }, "relatedMtid" : 25269155, "source" : "kézi felvitel", "externalCitation" : true, "externalCitationOK" : null, "mentionCount" : 1, "link" : "/api/citation/25269155", "label" : "Vidhya D. Research Trends in Formal Verification Process for Analog and Mixed Signal Design. (2015) INTERNATIONAL JOURNAL OF COMPUTER APPLICATIONS 0975-8887 109 11 10-15", "template" : "