{ "labelLang" : "eng", "responseDate" : "2024-03-29 14:47", "content" : { "otype" : "Book", "mtid" : 3067959, "status" : "APPROVED", "published" : true, "unhandledTickets" : 0, "oldTimestamp" : "2017-05-08T10:20:44.000+0000", "deleted" : false, "oldId" : 3067959, "lastRefresh" : "2024-03-25T04:37:47.024+0000", "lastModified" : "2021-05-26T12:38:22.799+0000", "created" : "2016-05-22T12:14:36.000+0000", "creator" : { "otype" : "Author", "mtid" : 10002346, "link" : "/api/author/10002346", "label" : "Miklós Bíró (Matematika és számítástudomány)", "familyName" : "Bíró", "givenName" : "Miklós", "published" : true, "oldId" : 10002346, "snippet" : true }, "lastDuplumOK" : "2021-05-26T12:38:22.815+0000", "lastDuplumSearch" : "2021-05-26T12:38:22.815+0000", "core" : true, "citation" : false, "publicationPending" : false, "type" : { "otype" : "PublicationType", "mtid" : 23, "link" : "/api/publicationtype/23", "label" : "Book", "code" : 23, "otypeName" : "Book", "listPosition" : 3, "published" : true, "oldId" : 23, "snippet" : true }, "subType" : { "otype" : "SubType", "mtid" : 10000144, "link" : "/api/subtype/10000144", "label" : "Conference proceedings (Book)", "name" : "Konferenciakötet", "nameEng" : "Conference proceedings", "docType" : { "otype" : "PublicationType", "mtid" : 23, "link" : "/api/publicationtype/23", "label" : "Book", "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" : "Scientific", "published" : true, "oldId" : 1, "snippet" : true }, "languages" : [ { "otype" : "Language", "mtid" : 10002, "link" : "/api/language/10002", "label" : "English", "name" : "Angol", "nameEng" : "English", "published" : true, "oldId" : 2, "snippet" : true } ], "firstAuthor" : "Michael, Butler", "authorships" : [ { "otype" : "PersonAuthorship", "mtid" : 7944193, "link" : "/api/authorship/7944193", "label" : "Michael, Butler [ed.]", "listPosition" : 1, "share" : 0.25, "first" : false, "last" : false, "familyName" : "Michael", "givenName" : "Butler", "authorTyped" : false, "editorTyped" : true, "otherTyped" : false, "type" : { "otype" : "AuthorshipType", "mtid" : 2, "link" : "/api/authorshiptype/2", "label" : "Editor", "code" : -1, "published" : true, "oldId" : -1, "snippet" : true }, "published" : false, "oldId" : 24265034, "snippet" : true }, { "otype" : "PersonAuthorship", "mtid" : 7944194, "link" : "/api/authorship/7944194", "label" : "Klaus-Dieter, Schewe [ed.]", "listPosition" : 2, "share" : 0.25, "first" : false, "last" : false, "familyName" : "Klaus-Dieter", "givenName" : "Schewe", "authorTyped" : false, "editorTyped" : true, "otherTyped" : false, "type" : { "otype" : "AuthorshipType", "mtid" : 2, "link" : "/api/authorshiptype/2", "label" : "Editor", "code" : -1, "published" : true, "oldId" : -1, "snippet" : true }, "published" : false, "oldId" : 24265033, "snippet" : true }, { "otype" : "PersonAuthorship", "mtid" : 7944195, "link" : "/api/authorship/7944195", "label" : "Atif, Mashkoor [ed.]", "listPosition" : 3, "share" : 0.25, "first" : false, "last" : false, "familyName" : "Atif", "givenName" : "Mashkoor", "authorTyped" : false, "editorTyped" : true, "otherTyped" : false, "type" : { "otype" : "AuthorshipType", "mtid" : 2, "link" : "/api/authorshiptype/2", "label" : "Editor", "code" : -1, "published" : true, "oldId" : -1, "snippet" : true }, "published" : false, "oldId" : 24265032, "snippet" : true }, { "otype" : "PersonAuthorship", "mtid" : 7944196, "link" : "/api/authorship/7944196", "label" : "Miklos, Biro [Bíró, Miklós (Matematika és szá...), ed.]", "listPosition" : 4, "share" : 0.25, "first" : false, "last" : false, "author" : { "otype" : "Author", "mtid" : 10002346, "link" : "/api/author/10002346", "label" : "Miklós Bíró (Matematika és számítástudomány)", "familyName" : "Bíró", "givenName" : "Miklós", "published" : true, "oldId" : 10002346, "snippet" : true }, "familyName" : "Miklos", "givenName" : "Biro", "authorTyped" : false, "editorTyped" : true, "otherTyped" : false, "type" : { "otype" : "AuthorshipType", "mtid" : 2, "link" : "/api/authorshiptype/2", "label" : "Editor", "code" : -1, "published" : true, "oldId" : -1, "snippet" : true }, "published" : false, "oldId" : 24265031, "snippet" : true } ], "title" : "Abstract State Machines, Alloy, B, TLA, VDM, and Z", "subTitle" : "5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 1098730, "link" : "/api/publicationidentifier/1098730", "label" : "DOI: 10.1007/978-3-319-33600-8", "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 }, "oaFree" : false, "validState" : "NO", "idValue" : "10.1007/978-3-319-33600-8", "realUrl" : "https://doi.org/10.1007/978-3-319-33600-8", "published" : false, "oldId" : 1372183, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 1098733, "link" : "/api/publicationidentifier/1098733", "label" : "Kiadónál: http://link.springer.com/book/10.1007%2F978-3-319-33600-8", "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 }, "oaFree" : false, "validState" : "NO", "idValue" : "http://link.springer.com/book/10.1007%2F978-3-319-33600-8", "realUrl" : "http://link.springer.com/book/10.1007%2F978-3-319-33600-8", "published" : false, "oldId" : 1372193, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 1098729, "link" : "/api/publicationidentifier/1098729", "label" : "ISBN: 9783319335995", "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" : "9783319335995", "realUrl" : "https://www.worldcat.org/search?q=isbn%3A9783319335995", "published" : false, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 1098732, "link" : "/api/publicationidentifier/1098732", "label" : "Egyéb URL: http://www.springer.com/us/book/9783319335995", "source" : { "otype" : "PlainSource", "mtid" : 40, "link" : "/api/publicationsource/40", "label" : "Other URL", "type" : { "otype" : "PublicationSourceType", "mtid" : 10006, "link" : "/api/publicationsourcetype/10006", "label" : "Link", "mayHaveOa" : true, "published" : true, "snippet" : true }, "name" : "Egyéb URL", "nameEng" : "Other URL", "linkPattern" : "@@@", "publiclyVisible" : true, "published" : true, "oldId" : 40, "snippet" : true }, "oaFree" : false, "validState" : "NO", "idValue" : "http://www.springer.com/us/book/9783319335995", "realUrl" : "http://www.springer.com/us/book/9783319335995", "published" : false, "oldId" : 1372184, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 1098731, "link" : "/api/publicationidentifier/1098731", "label" : "Google books: K7QqDAAAQBAJ", "source" : { "otype" : "PlainSource", "mtid" : 14, "link" : "/api/publicationsource/14", "label" : "Google books", "type" : { "otype" : "PublicationSourceType", "mtid" : 10003, "link" : "/api/publicationsourcetype/10003", "label" : "Indexelő adatbázis", "mayHaveOa" : false, "published" : true, "snippet" : true }, "name" : "Google books", "linkPattern" : "http://books.google.com/books?id=@@@&source=gbs_ViewAPI", "publiclyVisible" : true, "published" : true, "oldId" : 14, "snippet" : true }, "oaFree" : false, "validState" : "NO", "idValue" : "K7QqDAAAQBAJ", "realUrl" : "http://books.google.com/books?id=K7QqDAAAQBAJ&source=gbs_ViewAPI", "published" : false, "oldId" : 1372185, "snippet" : true } ], "volumeNumber" : "9675", "seriesMembers" : [ { "otype" : "SeriesVolume", "mtid" : 48106, "link" : "/api/seriesvolume/48106", "label" : "Lecture Notes in Computer Science 0302-9743 1611-3349, 9675", "publication" : { "otype" : "Book", "mtid" : 3067959, "link" : "/api/publication/3067959", "label" : "Michael Butler. Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings. (2016) ISBN:9783319335995", "core" : true, "citation" : false, "publicationPending" : false, "type" : { "otype" : "PublicationType", "mtid" : 23, "link" : "/api/publicationtype/23", "label" : "Book", "code" : 23, "otypeName" : "Book", "listPosition" : 3, "published" : true, "oldId" : 23, "snippet" : true }, "subType" : { "otype" : "SubType", "mtid" : 10000144, "link" : "/api/subtype/10000144", "label" : "Conference proceedings (Book)", "name" : "Konferenciakötet", "nameEng" : "Conference proceedings", "docType" : { "otype" : "PublicationType", "mtid" : 23, "link" : "/api/publicationtype/23", "label" : "Book", "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" : "Scientific", "published" : true, "oldId" : 1, "snippet" : true }, "languages" : [ { "otype" : "Language", "mtid" : 10002, "link" : "/api/language/10002", "label" : "English", "name" : "Angol", "nameEng" : "English", "published" : true, "oldId" : 2, "snippet" : true } ], "title" : "Abstract State Machines, Alloy, B, TLA, VDM, and Z", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 1098730, "link" : "/api/publicationidentifier/1098730", "label" : "DOI: 10.1007/978-3-319-33600-8", "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 }, "oaFree" : false, "validState" : "NO", "idValue" : "10.1007/978-3-319-33600-8", "realUrl" : "https://doi.org/10.1007/978-3-319-33600-8", "published" : false, "oldId" : 1372183, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 1098733, "link" : "/api/publicationidentifier/1098733", "label" : "Kiadónál: http://link.springer.com/book/10.1007%2F978-3-319-33600-8", "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 }, "oaFree" : false, "validState" : "NO", "idValue" : "http://link.springer.com/book/10.1007%2F978-3-319-33600-8", "realUrl" : "http://link.springer.com/book/10.1007%2F978-3-319-33600-8", "published" : false, "oldId" : 1372193, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 1098729, "link" : "/api/publicationidentifier/1098729", "label" : "ISBN: 9783319335995", "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" : "9783319335995", "realUrl" : "https://www.worldcat.org/search?q=isbn%3A9783319335995", "published" : false, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 1098732, "link" : "/api/publicationidentifier/1098732", "label" : "Egyéb URL: http://www.springer.com/us/book/9783319335995", "source" : { "otype" : "PlainSource", "mtid" : 40, "link" : "/api/publicationsource/40", "label" : "Other URL", "type" : { "otype" : "PublicationSourceType", "mtid" : 10006, "link" : "/api/publicationsourcetype/10006", "label" : "Link", "mayHaveOa" : true, "published" : true, "snippet" : true }, "name" : "Egyéb URL", "nameEng" : "Other URL", "linkPattern" : "@@@", "publiclyVisible" : true, "published" : true, "oldId" : 40, "snippet" : true }, "oaFree" : false, "validState" : "NO", "idValue" : "http://www.springer.com/us/book/9783319335995", "realUrl" : "http://www.springer.com/us/book/9783319335995", "published" : false, "oldId" : 1372184, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 1098731, "link" : "/api/publicationidentifier/1098731", "label" : "Google books: K7QqDAAAQBAJ", "source" : { "otype" : "PlainSource", "mtid" : 14, "link" : "/api/publicationsource/14", "label" : "Google books", "type" : { "otype" : "PublicationSourceType", "mtid" : 10003, "link" : "/api/publicationsourcetype/10003", "label" : "Indexelő adatbázis", "mayHaveOa" : false, "published" : true, "snippet" : true }, "name" : "Google books", "linkPattern" : "http://books.google.com/books?id=@@@&source=gbs_ViewAPI", "publiclyVisible" : true, "published" : true, "oldId" : 14, "snippet" : true }, "oaFree" : false, "validState" : "NO", "idValue" : "K7QqDAAAQBAJ", "realUrl" : "http://books.google.com/books?id=K7QqDAAAQBAJ&source=gbs_ViewAPI", "published" : false, "oldId" : 1372185, "snippet" : true } ], "publishedAt" : [ { "otype" : "City", "mtid" : 17753, "link" : "/api/city/17753", "label" : "Zurich, Switzerland", "partOf" : { "otype" : "Country", "mtid" : 10022, "link" : "/api/country/10022", "label" : "Switzerland", "published" : true, "oldId" : 18, "snippet" : true }, "published" : true, "snippet" : true } ], "pageLength" : 426, "publishedYear" : 2016, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : false, "conferencePublication" : true, "published" : true, "oldId" : 3067959, "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, "publishers" : [ { "otype" : "Publisher", "mtid" : 50952, "link" : "/api/publisher/50952", "label" : "Springer Netherlands", "name" : "Springer Netherlands", "published" : true, "snippet" : true } ], "publishedAt" : [ { "otype" : "City", "mtid" : 17753, "link" : "/api/city/17753", "label" : "Zurich, Switzerland", "partOf" : { "otype" : "Country", "mtid" : 10022, "link" : "/api/country/10022", "label" : "Switzerland", "published" : true, "oldId" : 18, "snippet" : true }, "published" : true, "snippet" : true } ], "firstPageOrInternalIdForSort" : "", "pageLength" : 426, "publishedYear" : 2016, "conference" : { "otype" : "Conference", "mtid" : 113481, "link" : "/api/conference/113481", "label" : "Abstract State Machines, Alloy, B, TLA, VDM, and Z", "location" : [ ], "published" : true, "snippet" : true }, "digital" : true, "printed" : true, "sourceYear" : 2016, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : false, "conferencePublication" : true, "nationalOrigin" : null, "missingAuthor" : false, "oaType" : "NONE", "oaCheckDate" : "2024-03-25", "oaFree" : false, "oaByAuthor" : { "otype" : "Author", "mtid" : 10002346, "link" : "/api/author/10002346", "label" : "Miklós Bíró (Matematika és számítástudomány)", "familyName" : "Bíró", "givenName" : "Miklós", "published" : true, "oldId" : 10002346, "snippet" : true }, "citationCount" : 3, "citationCountUnpublished" : 0, "citationCountWoOther" : 3, "independentCitCountWoOther" : 2, "nationalOriginCitationCount" : 0, "foreignEditionCitationCount" : 3, "doiCitationCount" : 3, "wosCitationCount" : 3, "scopusCitationCount" : 1, "wosScopusCitationCount" : 3, "wosScopusCitationCountWoOther" : 3, "wosScopusIndependentCitationCount" : 2, "wosScopusIndependentCitationCountWoOther" : 2, "independentCitationCount" : 2, "selfCitationCount" : 1, "unhandledCitationCount" : 0, "citingPubCount" : 3, "independentCitingPubCount" : 2, "citingPubCountWoOther" : 3, "independentCitingPubCountWoOther" : 2, "unhandledCitingPubCount" : 0, "citedPubCount" : 0, "citedCount" : 0, "pubStats" : { "types" : [ { "type" : "Folyóiratcikk", "typeEng" : "Journal Article", "code" : 24, "count" : 2 }, { "type" : "Könyvrészlet", "typeEng" : "Chapter in Book", "code" : 25, "count" : 1 }, { "type" : "Könyv", "typeEng" : "Book", "code" : 23, "count" : 0 }, { "type" : "Egyéb konferenciaközlemény", "typeEng" : "Conference paper", "code" : 31, "count" : 0 }, { "type" : "Egyéb konferenciakötet", "typeEng" : "Conference proceedings", "code" : 32, "count" : 0 }, { "type" : "Oltalmi formák", "typeEng" : "Protection forms", "code" : 26, "count" : 0 }, { "type" : "Disszertáció", "typeEng" : "Thesis", "code" : 28, "count" : 0 }, { "type" : "Egyéb", "typeEng" : "Miscellaneous", "code" : 29, "count" : 0 }, { "type" : "Alkotás", "typeEng" : "Achievement", "code" : 22, "count" : 0 }, { "type" : "Kutatási adat", "typeEng" : "Research data", "code" : 33, "count" : 0 } ], "citationTypes" : [ { "type" : "Folyóiratcikk", "typeEng" : "Journal Article", "code" : 24, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 }, { "type" : "Könyvrészlet", "typeEng" : "Chapter in Book", "code" : 25, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 }, { "type" : "Könyv", "typeEng" : "Book", "code" : 23, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 }, { "type" : "Egyéb konferenciaközlemény", "typeEng" : "Conference paper", "code" : 31, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 }, { "type" : "Egyéb konferenciakötet", "typeEng" : "Conference proceedings", "code" : 32, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 }, { "type" : "Oltalmi formák", "typeEng" : "Protection forms", "code" : 26, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 }, { "type" : "Disszertáció", "typeEng" : "Thesis", "code" : 28, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 }, { "type" : "Egyéb", "typeEng" : "Miscellaneous", "code" : 29, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 }, { "type" : "Alkotás", "typeEng" : "Achievement", "code" : 22, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 }, { "type" : "Kutatási adat", "typeEng" : "Research data", "code" : 33, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 } ], "years" : [ { "year" : 2018, "publicationCount" : 0, "citationCount" : 2, "independentCitationCount" : 1, "citingPubCount" : 2, "independentCitingPubCount" : 1, "oaStats" : null, "oaStats2" : null }, { "year" : 2019, "publicationCount" : 0, "citationCount" : 1, "independentCitationCount" : 1, "citingPubCount" : 1, "independentCitingPubCount" : 1, "oaStats" : null, "oaStats2" : null } ] }, "hasCitationDuplums" : false, "inSelectedPubs" : "10002346", "userChangeableUntil" : "2016-08-20T12:37:59.000+0000", "publishDate" : "2016-05-22T12:37:59.000+0000", "directInstitutesForSort" : "", "ownerAuthorCount" : 1, "ownerInstituteCount" : 7, "directInstituteCount" : 0, "authorCount" : 0, "contributorCount" : 4, "chapterCount" : 1, "chapters" : [ { "otype" : "BookChapter", "mtid" : 3219212, "link" : "/api/publication/3219212", "label" : "Michael Butler et al. Preface. (2016) In: Abstract State Machines, Alloy, B, TLA, VDM, and Z pp. V-VI", "core" : true, "citation" : false, "publicationPending" : false, "type" : { "otype" : "PublicationType", "mtid" : 25, "link" : "/api/publicationtype/25", "label" : "Chapter in Book", "code" : 25, "otypeName" : "BookChapter", "listPosition" : 2, "published" : true, "oldId" : 25, "snippet" : true }, "subType" : { "otype" : "SubType", "mtid" : 10000312, "link" : "/api/subtype/10000312", "label" : "Conference paper (Chapter in Book)", "name" : "Konferenciaközlemény", "nameEng" : "Conference paper", "docType" : { "otype" : "PublicationType", "mtid" : 25, "link" : "/api/publicationtype/25", "label" : "Chapter in Book", "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" : "Scientific", "published" : true, "oldId" : 1, "snippet" : true }, "languages" : [ { "otype" : "Language", "mtid" : 10002, "link" : "/api/language/10002", "label" : "English", "name" : "Angol", "nameEng" : "English", "published" : true, "oldId" : 2, "snippet" : true } ], "title" : "Preface", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 1195977, "link" : "/api/publicationidentifier/1195977", "label" : "Teljes dokumentum: http://www.springer.com/cda/content/document/cda_downloaddocument/9783319335995-p1.pdf?SGWID=0-0-45-1564439-p179960666", "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 }, "oaFree" : false, "validState" : "NO", "idValue" : "http://www.springer.com/cda/content/document/cda_downloaddocument/9783319335995-p1.pdf?SGWID=0-0-45-1564439-p179960666", "realUrl" : "http://www.springer.com/cda/content/document/cda_downloaddocument/9783319335995-p1.pdf?SGWID=0-0-45-1564439-p179960666", "published" : false, "oldId" : 1583071, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 1195978, "link" : "/api/publicationidentifier/1195978", "label" : "Teljes dokumentum: https://link.springer.com/content/pdf/bfm%3A978-3-319-33600-8%2F1.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 }, "oaFree" : false, "validState" : "NO", "idValue" : "https://link.springer.com/content/pdf/bfm%3A978-3-319-33600-8%2F1.pdf", "realUrl" : "https://link.springer.com/content/pdf/bfm%3A978-3-319-33600-8%2F1.pdf", "published" : false, "oldId" : 1583066, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 1195979, "link" : "/api/publicationidentifier/1195979", "label" : "Egyéb URL: https://www.scopus.com/record/display.uri?eid=2-s2.0-84978759737&origin=inward&txGid=AD239F4C8D46491F2203715E5CD38CCD.wsnAw8kcdt7IPYLO0V48gA%3a3", "source" : { "otype" : "PlainSource", "mtid" : 40, "link" : "/api/publicationsource/40", "label" : "Other URL", "type" : { "otype" : "PublicationSourceType", "mtid" : 10006, "link" : "/api/publicationsourcetype/10006", "label" : "Link", "mayHaveOa" : true, "published" : true, "snippet" : true }, "name" : "Egyéb URL", "nameEng" : "Other URL", "linkPattern" : "@@@", "publiclyVisible" : true, "published" : true, "oldId" : 40, "snippet" : true }, "oaFree" : false, "validState" : "NO", "idValue" : "https://www.scopus.com/record/display.uri?eid=2-s2.0-84978759737&origin=inward&txGid=AD239F4C8D46491F2203715E5CD38CCD.wsnAw8kcdt7IPYLO0V48gA%3a3", "realUrl" : "https://www.scopus.com/record/display.uri?eid=2-s2.0-84978759737&origin=inward&txGid=AD239F4C8D46491F2203715E5CD38CCD.wsnAw8kcdt7IPYLO0V48gA%3a3", "published" : false, "oldId" : 1583050, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 1195976, "link" : "/api/publicationidentifier/1195976", "label" : "Google books: K7QqDAAAQBAJ&pg=PR5&lpg=PR5&dq=Preface+Abstract+State+Machines,+Alloy,+B,+TLA,+VDM,+and+Z&source=bl&ots=T9zU2UShRT&sig=_lMAVr5MQXCzBC2UPR7WSd--EMw&hl=en&sa=X&ved=0ahUKEwiDi6ifh-DTAhVQYVAKHV49DF0Q6AEIPDAE#v=onepage&q=Preface%20Abstract%20State%20Machine...", "source" : { "otype" : "PlainSource", "mtid" : 14, "link" : "/api/publicationsource/14", "label" : "Google books", "type" : { "otype" : "PublicationSourceType", "mtid" : 10003, "link" : "/api/publicationsourcetype/10003", "label" : "Indexelő adatbázis", "mayHaveOa" : false, "published" : true, "snippet" : true }, "name" : "Google books", "linkPattern" : "http://books.google.com/books?id=@@@&source=gbs_ViewAPI", "publiclyVisible" : true, "published" : true, "oldId" : 14, "snippet" : true }, "oaFree" : false, "validState" : "NO", "idValue" : "K7QqDAAAQBAJ&pg=PR5&lpg=PR5&dq=Preface+Abstract+State+Machines,+Alloy,+B,+TLA,+VDM,+and+Z&source=bl&ots=T9zU2UShRT&sig=_lMAVr5MQXCzBC2UPR7WSd--EMw&hl=en&sa=X&ved=0ahUKEwiDi6ifh-DTAhVQYVAKHV49DF0Q6AEIPDAE#v=onepage&q=Preface%20Abstract%20State%20Machines%2C%20Alloy%2C%20B%2C%20TLA%2C%20VDM%2C%20and%20Z&f=false", "realUrl" : "http://books.google.com/books?id=K7QqDAAAQBAJ&pg=PR5&lpg=PR5&dq=Preface+Abstract+State+Machines,+Alloy,+B,+TLA,+VDM,+and+Z&source=bl&ots=T9zU2UShRT&sig=_lMAVr5MQXCzBC2UPR7WSd--EMw&hl=en&sa=X&ved=0ahUKEwiDi6ifh-DTAhVQYVAKHV49DF0Q6AEIPDAE#v=onepage&q=Preface%20Abstract%20State%20Machines%2C%20Alloy%2C%20B%2C%20TLA%2C%20VDM%2C%20and%20Z&f=false&source=gbs_ViewAPI", "published" : false, "oldId" : 1583064, "snippet" : true } ], "publishedAt" : [ ], "publishedYear" : 2016, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : true, "conferencePublication" : true, "published" : true, "oldId" : 3219212, "snippet" : true } ], "fromCitation" : false, "hasQualityFactor" : false, "link" : "/api/publication/3067959", "label" : "Michael Butler. Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings. (2016) ISBN:9783319335995", "template" : "