{ "labelLang" : "hun", "responseDate" : "2024-03-28 11:38", "content" : { "otype" : "Book", "mtid" : 30693736, "status" : "APPROVED", "error" : "VALIDATION_ERROR", "published" : true, "unhandledTickets" : 0, "deleted" : false, "lastRefresh" : "2022-03-01T09:47:15.200+0000", "lastModified" : "2021-05-18T12:35:56.898+0000", "created" : "2019-05-29T11:51:09.642+0000", "creator" : { "otype" : "Author", "mtid" : 10012981, "link" : "/api/author/10012981", "label" : "Simon Gyula (Szenzorhálózatok)", "familyName" : "Simon", "givenName" : "Gyula", "published" : true, "oldId" : 10012981, "snippet" : true }, "lastDuplumOK" : "2021-05-18T12:35:56.906+0000", "lastDuplumSearch" : "2021-05-18T12:35:56.906+0000", "core" : false, "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" : "Fitzgerald, J.", "authorships" : [ { "otype" : "PersonAuthorship", "mtid" : 87277991, "link" : "/api/authorship/87277991", "label" : "Fitzgerald, J. [szerk.]", "listPosition" : 1, "share" : 0.0, "first" : false, "last" : false, "familyName" : "Fitzgerald", "givenName" : "J.", "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, "snippet" : true }, { "otype" : "PersonAuthorship", "mtid" : 87277990, "link" : "/api/authorship/87277990", "label" : "Gnesi, S. [szerk.]", "listPosition" : 2, "share" : 0.0, "first" : false, "last" : false, "familyName" : "Gnesi", "givenName" : "S.", "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, "snippet" : true }, { "otype" : "PersonAuthorship", "mtid" : 87277989, "link" : "/api/authorship/87277989", "label" : "Philippou, A. [szerk.]", "listPosition" : 3, "share" : 0.0, "first" : false, "last" : false, "familyName" : "Philippou", "givenName" : "A.", "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, "snippet" : true }, { "otype" : "PersonAuthorship", "mtid" : 87277988, "link" : "/api/authorship/87277988", "label" : "Heitmeyer, C. [szerk.]", "listPosition" : 4, "share" : 0.0, "first" : false, "last" : false, "familyName" : "Heitmeyer", "givenName" : "C.", "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, "snippet" : true } ], "title" : "21st International Symposium on Formal Methods, FM 2016", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 15649723, "link" : "/api/publicationidentifier/15649723", "label" : "ISBN: 9783319489889", "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" : "9783319489889", "realUrl" : "https://www.worldcat.org/search?q=isbn%3A9783319489889", "published" : false, "snippet" : true } ], "volumeNumber" : "9995", "seriesMembers" : [ { "otype" : "SeriesVolume", "mtid" : 169756, "link" : "/api/seriesvolume/169756", "label" : "Lecture Notes in Computer Science 0302-9743 1611-3349, 9995", "publication" : { "otype" : "Book", "mtid" : 30693736, "link" : "/api/publication/30693736", "label" : "Fitzgerald J.. 21st International Symposium on Formal Methods, FM 2016. (2016) ISBN:9783319489889", "core" : false, "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" : "21st International Symposium on Formal Methods, FM 2016", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 15649723, "link" : "/api/publicationidentifier/15649723", "label" : "ISBN: 9783319489889", "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" : "9783319489889", "realUrl" : "https://www.worldcat.org/search?q=isbn%3A9783319489889", "published" : false, "snippet" : true } ], "publishedAt" : [ ], "publishedYear" : 2016, "foreignLanguage" : true, "fullPublication" : false, "conferencePublication" : true, "published" : true, "snippet" : true }, "series" : { "otype" : "BookSeries", "mtid" : 20000018, "link" : "/api/bookseries/20000018", "label" : "Lecture Notes in Computer Science 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, "firstPageOrInternalIdForSort" : "", "publishedYear" : 2016, "conference" : { "otype" : "Conference", "mtid" : 234043, "link" : "/api/conference/234043", "label" : "21st International Symposium on Formal Methods, FM 2016 2016-11-09 [Limassol, Ciprus]", "location" : [ { "otype" : "City", "mtid" : 11238, "link" : "/api/city/11238", "label" : "Limassol, Ciprus", "partOf" : { "otype" : "Country", "mtid" : 10070, "link" : "/api/country/10070", "label" : "Ciprus", "published" : true, "oldId" : 2151524, "snippet" : true }, "published" : true, "oldId" : 10000320, "snippet" : true } ], "published" : true, "snippet" : true }, "digital" : null, "printed" : null, "sourceYear" : 2019, "foreignEdition" : null, "foreignLanguage" : true, "fullPublication" : false, "conferencePublication" : true, "nationalOrigin" : null, "missingAuthor" : false, "oaType" : "NONE", "oaCheckDate" : "2022-03-01", "oaFree" : false, "citationCount" : 0, "citationCountUnpublished" : 0, "citationCountWoOther" : 0, "independentCitCountWoOther" : 0, "doiCitationCount" : 0, "wosCitationCount" : 0, "scopusCitationCount" : 0, "independentCitationCount" : 0, "unhandledCitationCount" : 0, "citingPubCount" : 0, "independentCitingPubCount" : 0, "unhandledCitingPubCount" : 0, "citedPubCount" : 0, "citedCount" : 0, "hasCitationDuplums" : false, "userChangeableUntil" : "2021-08-16T11:44:30.050+0000", "directInstitutesForSort" : "", "ownerAuthorCount" : 2, "ownerInstituteCount" : 16, "directInstituteCount" : 0, "authorCount" : 0, "contributorCount" : 4, "chapterCount" : 2, "chapters" : [ { "otype" : "BookChapter", "mtid" : 30693735, "link" : "/api/publication/30693735", "label" : "Cimatti A. et al. From electrical switched networks to hybrid automata. (2016) Megjelent: 21st International Symposium on Formal Methods, FM 2016 pp. 164-181", "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" : "From electrical switched networks to hybrid automata", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 15649725, "link" : "/api/publicationidentifier/15649725", "label" : "DOI: 10.1007/978-3-319-48989-6_11", "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-48989-6_11", "realUrl" : "https://doi.org/10.1007%2F978-3-319-48989-6_11", "published" : false, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 15649724, "link" : "/api/publicationidentifier/15649724", "label" : "Scopus: 84996538443", "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" : "84996538443", "realUrl" : "http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84996538443", "published" : false, "snippet" : true } ], "volume" : "9995 LNCS", "publishedAt" : [ ], "pageLength" : 18, "publishedYear" : 2016, "foreignLanguage" : true, "fullPublication" : true, "conferencePublication" : true, "published" : true, "snippet" : true }, { "otype" : "BookChapter", "mtid" : 30693721, "link" : "/api/publication/30693721", "label" : "Filipovikj P. et al. Simulink to UPPAAL statistical model checker: Analyzing automotive industrial systems. (2016) Megjelent: 21st International Symposium on Formal Methods, FM 2016 pp. 748-756", "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" : "Simulink to UPPAAL statistical model checker: Analyzing automotive industrial systems", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 15649704, "link" : "/api/publicationidentifier/15649704", "label" : "DOI: 10.1007/978-3-319-48989-6_46", "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-48989-6_46", "realUrl" : "https://doi.org/10.1007%2F978-3-319-48989-6_46", "published" : false, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 15649703, "link" : "/api/publicationidentifier/15649703", "label" : "Scopus: 84996523483", "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" : "84996523483", "realUrl" : "http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84996523483", "published" : false, "snippet" : true } ], "volume" : "9995 LNCS", "publishedAt" : [ ], "pageLength" : 9, "publishedYear" : 2016, "foreignLanguage" : true, "fullPublication" : true, "conferencePublication" : true, "published" : true, "snippet" : true } ], "fromCitation" : false, "hasQualityFactor" : false, "link" : "/api/publication/30693736", "label" : "Fitzgerald J.. 21st International Symposium on Formal Methods, FM 2016. (2016) ISBN:9783319489889", "template" : "