Shield synthesis. (Record no. 30587677)

MARC details
000 -LEADER
fixed length control field 00838 a2200253 4500
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20250518083256.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field ####s 0 0 eng d
022 ## - INTERNATIONAL STANDARD SERIAL NUMBER
International Standard Serial Number 0925-9856
024 7# - OTHER STANDARD IDENTIFIER
Standard number or code 10.1007/s10703-017-0276-9
Source of number or code doi
040 ## - CATALOGING SOURCE
Original cataloging agency NLM
Language of cataloging eng
Transcribing agency NLM
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Könighofer, Bettina
245 00 - TITLE STATEMENT
Title Shield synthesis.
Medium [electronic resource]
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Name of publisher, distributor, etc. Formal methods in system design
Date of publication, distribution, etc. 2017
300 ## - PHYSICAL DESCRIPTION
Extent 332-361 p.
Other physical details digital
500 ## - GENERAL NOTE
General note Publication Type: Journal Article
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Alshiekh, Mohammed
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Bloem, Roderick
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Humphrey, Laura
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Könighofer, Robert
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Topcu, Ufuk
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Wang, Chao
773 0# - HOST ITEM ENTRY
Title Formal methods in system design
Related parts vol. 51
-- no. 2
-- p. 332-361
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://doi.org/10.1007/s10703-017-0276-9">https://doi.org/10.1007/s10703-017-0276-9</a>
Public note Available from publisher's website

No items available.