{ "labelLang" : "hun", "responseDate" : "2024-03-29 02:17", "content" : { "otype" : "Book", "mtid" : 3043586, "status" : "VALIDATED", "published" : true, "unhandledTickets" : 0, "oldTimestamp" : "2018-10-02T08:54:25.000+0000", "deleted" : false, "oldId" : 3043586, "lastRefresh" : "2024-03-25T04:37:00.611+0000", "lastModified" : "2021-04-13T09:52:06.707+0000", "created" : "2016-03-30T09:53:52.000+0000", "creator" : { "otype" : "Author", "mtid" : 10046994, "link" : "/api/author/10046994", "label" : "Darvas Dániel (Informatika)", "familyName" : "Darvas", "givenName" : "Dániel", "published" : true, "oldId" : 10046994, "snippet" : true }, "lastDuplumOK" : "2021-04-13T09:52:00.279+0000", "lastDuplumSearch" : "2021-04-13T09:52:00.279+0000", "validated" : "2021-04-13T09:52:06.715+0000", "validator" : { "otype" : "Admin", "mtid" : 10073918, "link" : "/api/admin/10073918", "label" : "Kovács Marcell (MTMT Közp., admin)", "familyName" : "Kovács", "givenName" : "Marcell", "published" : true, "snippet" : true }, "core" : true, "citation" : false, "publicationPending" : false, "type" : { "otype" : "PublicationType", "mtid" : 23, "link" : "/api/publicationtype/23", "label" : "Könyv", "code" : 23, "otypeName" : "Book", "listPosition" : 3, "published" : true, "oldId" : 23, "snippet" : true }, "subType" : { "otype" : "SubType", "mtid" : 10000144, "link" : "/api/subtype/10000144", "label" : "Konferenciakötet (Könyv)", "name" : "Konferenciakötet", "nameEng" : "Conference proceedings", "docType" : { "otype" : "PublicationType", "mtid" : 23, "link" : "/api/publicationtype/23", "label" : "Könyv", "code" : 23, "otypeName" : "Book", "listPosition" : 3, "published" : true, "oldId" : 23, "snippet" : true }, "listPosition" : 345, "published" : true, "oldId" : 10000144, "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" : "Ábrahám, Erika", "authorships" : [ { "otype" : "PersonAuthorship", "mtid" : 7806573, "link" : "/api/authorship/7806573", "label" : "Ábrahám, Erika [szerk.]", "listPosition" : 1, "share" : 0.0, "first" : false, "last" : false, "corresponding" : false, "familyName" : "Ábrahám", "givenName" : "Erika", "authorTyped" : false, "editorTyped" : true, "otherTyped" : false, "type" : { "otype" : "AuthorshipType", "mtid" : 2, "link" : "/api/authorshiptype/2", "label" : "Szerkesztő", "code" : -1, "published" : true, "oldId" : -1, "snippet" : true }, "published" : false, "oldId" : 24042655, "snippet" : true }, { "otype" : "PersonAuthorship", "mtid" : 7806574, "link" : "/api/authorship/7806574", "label" : "Huisman, Marieke [szerk.]", "listPosition" : 2, "share" : 0.0, "first" : false, "last" : false, "corresponding" : false, "familyName" : "Huisman", "givenName" : "Marieke", "authorTyped" : false, "editorTyped" : true, "otherTyped" : false, "type" : { "otype" : "AuthorshipType", "mtid" : 2, "link" : "/api/authorshiptype/2", "label" : "Szerkesztő", "code" : -1, "published" : true, "oldId" : -1, "snippet" : true }, "published" : false, "oldId" : 24042654, "snippet" : true } ], "title" : "Integrated Formal Methods", "subTitle" : "12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 1085268, "link" : "/api/publicationidentifier/1085268", "label" : "DOI: 10.1007/978-3-319-33693-0", "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-319-33693-0", "realUrl" : "https://doi.org/10.1007/978-3-319-33693-0", "published" : false, "oldId" : 1337688, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 1085269, "link" : "/api/publicationidentifier/1085269", "label" : "Kiadónál: http://www.springer.com/us/book/9783319336923", "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 }, "oaType" : "PAY", "oaFree" : false, "validState" : "NO", "idValue" : "http://www.springer.com/us/book/9783319336923", "realUrl" : "http://www.springer.com/us/book/9783319336923", "published" : false, "oldId" : 1337687, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 1085267, "link" : "/api/publicationidentifier/1085267", "label" : "ISBN: 9783319336923", "source" : { "otype" : "PlainSource", "mtid" : 122, "link" : "/api/publicationsource/122", "label" : "ISBN", "type" : { "otype" : "PublicationSourceType", "mtid" : 10002, "link" : "/api/publicationsourcetype/10002", "label" : "Egyéb", "mayHaveOa" : false, "published" : true, "snippet" : true }, "name" : "ISBN", "nameEng" : "ISBN", "linkPattern" : "https://www.worldcat.org/search?q=isbn%3A@@@", "publiclyVisible" : true, "published" : true, "oldId" : 122, "snippet" : true }, "idValue" : "9783319336923", "realUrl" : "https://www.worldcat.org/search?q=isbn%3A9783319336923", "published" : false, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 18646539, "link" : "/api/publicationidentifier/18646539", "label" : "ISBN: 9783319336930", "source" : { "otype" : "PlainSource", "mtid" : 122, "link" : "/api/publicationsource/122", "label" : "ISBN", "type" : { "otype" : "PublicationSourceType", "mtid" : 10002, "link" : "/api/publicationsourcetype/10002", "label" : "Egyéb", "mayHaveOa" : false, "published" : true, "snippet" : true }, "name" : "ISBN", "nameEng" : "ISBN", "linkPattern" : "https://www.worldcat.org/search?q=isbn%3A@@@", "publiclyVisible" : true, "published" : true, "oldId" : 122, "snippet" : true }, "idValue" : "9783319336930", "realUrl" : "https://www.worldcat.org/search?q=isbn%3A9783319336930", "published" : false, "snippet" : true } ], "volumeNumber" : "9681", "seriesMembers" : [ { "otype" : "SeriesVolume", "mtid" : 47663, "link" : "/api/seriesvolume/47663", "label" : "Lecture Notes in Computer Science - Programming and Software Engineering 0302-9743 1611-3349, 9681", "publication" : { "otype" : "Book", "mtid" : 3043586, "link" : "/api/publication/3043586", "label" : "Ábrahám Erika. Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings. (2016) ISBN:9783319336923; 9783319336930", "core" : true, "citation" : false, "publicationPending" : false, "type" : { "otype" : "PublicationType", "mtid" : 23, "link" : "/api/publicationtype/23", "label" : "Könyv", "code" : 23, "otypeName" : "Book", "listPosition" : 3, "published" : true, "oldId" : 23, "snippet" : true }, "subType" : { "otype" : "SubType", "mtid" : 10000144, "link" : "/api/subtype/10000144", "label" : "Konferenciakötet (Könyv)", "name" : "Konferenciakötet", "nameEng" : "Conference proceedings", "docType" : { "otype" : "PublicationType", "mtid" : 23, "link" : "/api/publicationtype/23", "label" : "Könyv", "code" : 23, "otypeName" : "Book", "listPosition" : 3, "published" : true, "oldId" : 23, "snippet" : true }, "listPosition" : 345, "published" : true, "oldId" : 10000144, "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" : "Integrated Formal Methods", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 1085268, "link" : "/api/publicationidentifier/1085268", "label" : "DOI: 10.1007/978-3-319-33693-0", "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-319-33693-0", "realUrl" : "https://doi.org/10.1007/978-3-319-33693-0", "published" : false, "oldId" : 1337688, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 1085269, "link" : "/api/publicationidentifier/1085269", "label" : "Kiadónál: http://www.springer.com/us/book/9783319336923", "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 }, "oaType" : "PAY", "oaFree" : false, "validState" : "NO", "idValue" : "http://www.springer.com/us/book/9783319336923", "realUrl" : "http://www.springer.com/us/book/9783319336923", "published" : false, "oldId" : 1337687, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 1085267, "link" : "/api/publicationidentifier/1085267", "label" : "ISBN: 9783319336923", "source" : { "otype" : "PlainSource", "mtid" : 122, "link" : "/api/publicationsource/122", "label" : "ISBN", "type" : { "otype" : "PublicationSourceType", "mtid" : 10002, "link" : "/api/publicationsourcetype/10002", "label" : "Egyéb", "mayHaveOa" : false, "published" : true, "snippet" : true }, "name" : "ISBN", "nameEng" : "ISBN", "linkPattern" : "https://www.worldcat.org/search?q=isbn%3A@@@", "publiclyVisible" : true, "published" : true, "oldId" : 122, "snippet" : true }, "idValue" : "9783319336923", "realUrl" : "https://www.worldcat.org/search?q=isbn%3A9783319336923", "published" : false, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 18646539, "link" : "/api/publicationidentifier/18646539", "label" : "ISBN: 9783319336930", "source" : { "otype" : "PlainSource", "mtid" : 122, "link" : "/api/publicationsource/122", "label" : "ISBN", "type" : { "otype" : "PublicationSourceType", "mtid" : 10002, "link" : "/api/publicationsourcetype/10002", "label" : "Egyéb", "mayHaveOa" : false, "published" : true, "snippet" : true }, "name" : "ISBN", "nameEng" : "ISBN", "linkPattern" : "https://www.worldcat.org/search?q=isbn%3A@@@", "publiclyVisible" : true, "published" : true, "oldId" : 122, "snippet" : true }, "idValue" : "9783319336930", "realUrl" : "https://www.worldcat.org/search?q=isbn%3A9783319336930", "published" : false, "snippet" : true } ], "publishedAt" : [ { "otype" : "City", "mtid" : 15258, "link" : "/api/city/15258", "label" : "Cham, Svájc", "partOf" : { "otype" : "Country", "mtid" : 10022, "link" : "/api/country/10022", "label" : "Svájc", "published" : true, "oldId" : 18, "snippet" : true }, "published" : true, "oldId" : 10006686, "snippet" : true } ], "pageLength" : 552, "publishedYear" : 2016, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : false, "conferencePublication" : true, "nationalOrigin" : false, "published" : true, "oldId" : 3043586, "snippet" : true }, "series" : { "otype" : "BookSeries", "mtid" : 20022005, "link" : "/api/bookseries/20022005", "label" : "Lecture Notes in Computer Science - Programming and Software Engineering 0302-9743 1611-3349", "pIssn" : "0302-9743", "eIssn" : "1611-3349", "noIF" : false, "sciIndexed" : false, "scopusIndexed" : false, "lang" : "FOREIGN", "hungarian" : false, "published" : true, "snippet" : true }, "published" : false, "snippet" : true } ], "editionNumber" : 1, "publishers" : [ { "otype" : "Publisher", "mtid" : 50952, "link" : "/api/publisher/50952", "label" : "Springer Netherlands", "name" : "Springer Netherlands", "published" : true, "snippet" : true } ], "publishedAt" : [ { "otype" : "City", "mtid" : 15258, "link" : "/api/city/15258", "label" : "Cham, Svájc", "partOf" : { "otype" : "Country", "mtid" : 10022, "link" : "/api/country/10022", "label" : "Svájc", "published" : true, "oldId" : 18, "snippet" : true }, "published" : true, "oldId" : 10006686, "snippet" : true } ], "firstPageOrInternalIdForSort" : "", "pageLength" : 552, "publishedYear" : 2016, "conference" : { "otype" : "Conference", "mtid" : 112359, "link" : "/api/conference/112359", "label" : "Integrated Formal Methods 2016-06-01 [Reykjavík, Izland]", "location" : [ { "otype" : "City", "mtid" : 11604, "link" : "/api/city/11604", "label" : "Reykjavík, Izland", "partOf" : { "otype" : "Country", "mtid" : 10071, "link" : "/api/country/10071", "label" : "Izland", "published" : true, "oldId" : 2151541, "snippet" : true }, "published" : true, "oldId" : 10000862, "snippet" : true } ], "published" : true, "snippet" : true }, "abstractText" : "This book constitutes the refereed proceedings of the 12th International Conference on Integrated Formal Methods, IFM 2016, held in Reykjavik, Iceland, in June 2016.\nThe 33 papers presented in this volume were carefully reviewed and selected from 99 submissions. They were organized in topical sections named: invited contributions; program verification; probabilistic systems; concurrency; safety and liveness; model learning; SAT and SMT solving; testing; theorem proving and constraint satisfaction; case studies.", "digital" : true, "printed" : true, "collaboration" : "INTERNATIONAL", "sourceYear" : 2016, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : false, "conferencePublication" : true, "nationalOrigin" : false, "missingAuthor" : false, "oaType" : "PAY", "oaCheckDate" : "2024-03-25", "oaFree" : false, "oaByAuthor" : { "otype" : "Author", "mtid" : 10022627, "link" : "/api/author/10022627", "label" : "Kiss Ákos (számítástudomány)", "familyName" : "Kiss", "givenName" : "Ákos", "duplumRole" : "DUPLUM", "published" : true, "oldId" : 10022627, "snippet" : true }, "citationCount" : 0, "citationCountUnpublished" : 0, "citationCountWoOther" : 0, "independentCitCountWoOther" : 0, "nationalOriginCitationCount" : 0, "foreignEditionCitationCount" : 0, "doiCitationCount" : 0, "wosCitationCount" : 0, "scopusCitationCount" : 0, "wosScopusCitationCount" : 0, "wosScopusCitationCountWoOther" : 0, "wosScopusIndependentCitationCount" : 0, "wosScopusIndependentCitationCountWoOther" : 0, "independentCitationCount" : 0, "selfCitationCount" : 0, "unhandledCitationCount" : 0, "citingPubCount" : 0, "independentCitingPubCount" : 0, "citingPubCountWoOther" : 0, "independentCitingPubCountWoOther" : 0, "unhandledCitingPubCount" : 0, "citedPubCount" : 0, "citedCount" : 0, "hasCitationDuplums" : false, "userChangeableUntil" : "2016-06-28T09:53:52.000+0000", "publishDate" : "2016-03-30T09:53:52.000+0000", "directInstitutesForSort" : "", "ownerAuthorCount" : 2, "ownerInstituteCount" : 5, "directInstituteCount" : 0, "authorCount" : 0, "contributorCount" : 2, "chapterCount" : 3, "chapters" : [ { "otype" : "BookChapter", "mtid" : 31554154, "link" : "/api/publication/31554154", "label" : "Chechik Marsha et al. Perspectives of Model Transformation Reuse. (2016) Megjelent: Integrated Formal Methods pp. 28-44", "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" : "Perspectives of Model Transformation Reuse", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 17614189, "link" : "/api/publicationidentifier/17614189", "label" : "DOI: 10.1007/978-3-319-33693-0_3", "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 }, "idValue" : "10.1007/978-3-319-33693-0_3", "realUrl" : "https://doi.org/10.1007/978-3-319-33693-0_3", "published" : false, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 17614190, "link" : "/api/publicationidentifier/17614190", "label" : "ISSN: 0302-9743", "source" : { "otype" : "PlainSource", "mtid" : 123, "link" : "/api/publicationsource/123", "label" : "ISSN", "type" : { "otype" : "PublicationSourceType", "mtid" : 10002, "link" : "/api/publicationsourcetype/10002", "label" : "Egyéb", "mayHaveOa" : false, "published" : true, "snippet" : true }, "name" : "ISSN", "nameEng" : "ISSN", "linkPattern" : "https://portal.issn.org/resource/ISSN/@@@", "publiclyVisible" : true, "published" : true, "oldId" : 123, "snippet" : true }, "idValue" : "0302-9743", "realUrl" : "https://portal.issn.org/resource/ISSN/0302-9743", "published" : false, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 17614188, "link" : "/api/publicationidentifier/17614188", "label" : "WoS: 000379291800003", "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" : "https://www.webofscience.com/wos/woscc/full-record/@@@", "publiclyVisible" : true, "published" : true, "oldId" : 1, "snippet" : true }, "idValue" : "000379291800003", "realUrl" : "https://www.webofscience.com/wos/woscc/full-record/000379291800003", "published" : false, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 17614194, "link" : "/api/publicationidentifier/17614194", "label" : "Scopus: 84977547406", "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 }, "idValue" : "84977547406", "realUrl" : "http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84977547406", "published" : false, "snippet" : true } ], "publishedAt" : [ ], "pageLength" : 17, "publishedYear" : 2016, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : true, "conferencePublication" : true, "published" : true, "snippet" : true }, { "otype" : "BookChapter", "mtid" : 3043587, "link" : "/api/publication/3043587", "label" : "Darvas Dániel et al. Formal Verification of Safety PLC Based Control Software. (2016) Megjelent: Integrated Formal Methods pp. 508-522", "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 Safety PLC Based Control Software", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 1085272, "link" : "/api/publicationidentifier/1085272", "label" : "DOI: 10.1007/978-3-319-33693-0_32", "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" : "IDENTICAL", "idValue" : "10.1007/978-3-319-33693-0_32", "realUrl" : "https://doi.org/10.1007/978-3-319-33693-0_32", "published" : false, "oldId" : 1338472, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 1085270, "link" : "/api/publicationidentifier/1085270", "label" : "WoS: 000379291800032", "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" : "https://www.webofscience.com/wos/woscc/full-record/@@@", "publiclyVisible" : true, "published" : true, "oldId" : 1, "snippet" : true }, "oaFree" : false, "validState" : "DIFFERENT", "idValue" : "000379291800032", "realUrl" : "https://www.webofscience.com/wos/woscc/full-record/000379291800032", "published" : false, "oldId" : 1412013, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 1085271, "link" : "/api/publicationidentifier/1085271", "label" : "Scopus: 84977543957", "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" : "84977543957", "realUrl" : "http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84977543957", "published" : false, "oldId" : 1478670, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 1085273, "link" : "/api/publicationidentifier/1085273", "label" : "Teljes dokumentum: http://cern.ch/ddarvas/publications/iFM2016_DarvasEtAl_authorspdf.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", "nameEng" : "Teljes dokumentum", "linkPattern" : "@@@", "publiclyVisible" : true, "published" : true, "oldId" : 39, "snippet" : true }, "oaType" : "GREEN", "oaFree" : false, "validState" : "NO", "idValue" : "http://cern.ch/ddarvas/publications/iFM2016_DarvasEtAl_authorspdf.pdf", "realUrl" : "http://cern.ch/ddarvas/publications/iFM2016_DarvasEtAl_authorspdf.pdf", "published" : false, "oldId" : 1338473, "snippet" : true } ], "publishedAt" : [ ], "pageLength" : 15, "publishedYear" : 2016, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : true, "conferencePublication" : true, "nationalOrigin" : true, "oaLink" : "http://cern.ch/ddarvas/publications/iFM2016_DarvasEtAl_authorspdf.pdf", "published" : true, "oldId" : 3043587, "snippet" : true }, { "otype" : "BookChapter", "mtid" : 25521504, "link" : "/api/publication/25521504", "label" : "Jens Bendisposto et al. Symbolic Reachability Analysis of B through ProB and LTSmin. (2016) Megjelent: Integrated Formal Methods pp. 275-291", "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 Reachability Analysis of B through ProB and LTSmin", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 10598122, "link" : "/api/publicationidentifier/10598122", "label" : "DOI: 10.1007/978-3-319-33693-0_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 }, "validState" : "NO", "idValue" : "10.1007/978-3-319-33693-0_18", "realUrl" : "https://doi.org/10.1007/978-3-319-33693-0_18", "published" : false, "oldId" : 12512326, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 10598121, "link" : "/api/publicationidentifier/10598121", "label" : "Scopus: 84977488932", "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 }, "validState" : "NO", "idValue" : "84977488932", "realUrl" : "http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84977488932", "published" : false, "oldId" : 15595950, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 10598123, "link" : "/api/publicationidentifier/10598123", "label" : "Google scholar hash: 4218469576330260170", "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" : "4218469576330260170", "realUrl" : "http://scholar.Google.com/scholar?hl=en&lr=&cluster=4218469576330260170", "published" : false, "oldId" : 11625862, "snippet" : true } ], "publishedAt" : [ ], "pageLength" : 17, "publishedYear" : 2016, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : true, "conferencePublication" : true, "nationalOrigin" : false, "published" : true, "oldId" : 15521504, "snippet" : true } ], "fromCitation" : false, "hasQualityFactor" : false, "link" : "/api/publication/3043586", "label" : "Ábrahám Erika. Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings. (2016) ISBN:9783319336923; 9783319336930", "template" : "