{ "labelLang" : "hun", "responseDate" : "2024-03-29 07:37", "content" : { "otype" : "Citation", "mtid" : 25517540, "status" : "APPROVED", "published" : true, "unhandledTickets" : 0, "oldTimestamp" : "2016-03-17T12:56:47.000+0000", "deleted" : false, "oldId" : 15517540, "lastModified" : "2016-03-17T12:56:47.000+0000", "created" : "2016-03-17T12:55:06.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" : "BookChapter", "mtid" : 25517540, "link" : "/api/publication/25517540", "label" : "Dimitri Bohlender et al. Symbolic Verification of PLC Safety-Applications based on PLCopen Automata. (2016) Megjelent: MBMV 2016 : 19. GI/ITG/GMM-Workshop \"Methoden und Beschreibungsprachen zur Modellierung und Verifikation von Schaltungen und Sy... pp. 33-45", "core" : false, "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" : "Symbolic Verification of PLC Safety-Applications based on PLCopen Automata", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 10592143, "link" : "/api/publicationidentifier/10592143", "label" : "DOI: 10.6094/UNIFR/10636", "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.6094/UNIFR/10636", "published" : false, "oldId" : 11607366, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 10592145, "link" : "/api/publicationidentifier/10592145", "label" : "Kiadónál: https://www.freidok.uni-freiburg.de/data/10636", "source" : { "otype" : "PlainSource", "mtid" : 141, "link" : "/api/publicationsource/141", "label" : "Kiadónál", "type" : { "otype" : "PublicationSourceType", "mtid" : 10006, "link" : "/api/publicationsourcetype/10006", "label" : "Link", "mayHaveOa" : true, "published" : true, "snippet" : true }, "name" : "Kiadónál", "linkPattern" : "@@@", "publiclyVisible" : true, "published" : true, "oldId" : 141, "snippet" : true }, "validState" : "NO", "idValue" : "https://www.freidok.uni-freiburg.de/data/10636", "published" : false, "oldId" : 11607365, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 10592144, "link" : "/api/publicationidentifier/10592144", "label" : "Google scholar hash: 11261936442125206893", "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" : "11261936442125206893", "published" : false, "oldId" : 11629844, "snippet" : true } ], "publishedAt" : [ ], "pageLength" : 13, "publishedYear" : 2016, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : true, "conferencePublication" : true, "nationalOrigin" : false, "published" : true, "oldId" : 15517540, "snippet" : true }, "relatedMtid" : 25517540, "source" : "kézi felvitel", "externalCitation" : true, "externalCitationOK" : null, "mentionCount" : 1, "link" : "/api/citation/25517540", "label" : "Dimitri Bohlender et al. Symbolic Verification of PLC Safety-Applications based on PLCopen Automata. (2016) Megjelent: MBMV 2016 : 19. GI/ITG/GMM-Workshop \"Methoden und Beschreibungsprachen zur Modellierung und Verifikation von Schaltungen und Sy... pp. 33-45", "template" : "