{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T04:34:31Z","timestamp":1743050071172,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642252549"},{"type":"electronic","value":"9783642252556"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-25255-6_53","type":"book-chapter","created":{"date-parts":[[2011,12,7]],"date-time":"2011-12-07T07:24:03Z","timestamp":1323242643000},"page":"415-423","source":"Crossref","is-referenced-by-count":0,"title":["The Simulation System of Cytokine Network Based IMMUNE-B"],"prefix":"10.1007","author":[{"given":"Xianbao","family":"Cheng","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bao","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"53_CR1","unstructured":"Qiu, Z.: Translation, B method. Electronics Industry Press (June 2004)"},{"key":"53_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-1494-9","volume-title":"The B Language and Method: A Guide to Practice Formal Development","author":"K. Lano","year":"1996","unstructured":"Lano, K.: The B Language and Method: A Guide to Practice Formal Development. Springer, Heidelberg (1996)"},{"issue":"8","key":"53_CR3","first-page":"46","volume":"13","author":"Z.-Q. Liu","year":"2009","unstructured":"Liu, Z.-Q., Ding, Y.-S., Zhang, X.-F.: Gio-entity inspired from immuneTSTS model for distributed intrusion detection system. Dy\u2014nBxnics of Continuous, Discrete and Impulsive Systems-Series B: Applications & Algorithms\u00a013(8), 46\u201350 (2009)","journal-title":"Dy\u2014nBxnics of Continuous, Discrete and Impulsive Systems-Series B: Applications & Algorithms"},{"key":"53_CR4","unstructured":"Lu, D. (ed.): Modern Immunology. Shanghai Science and Technology Press (December 1995)"},{"key":"53_CR5","doi-asserted-by":"crossref","unstructured":"Patti, J.M., Mia, K., Hon, S.I.: Virology\u00a0391(1), 64 (2009)","DOI":"10.1016\/j.virol.2009.05.033"},{"key":"53_CR6","doi-asserted-by":"crossref","unstructured":"Chavez, L., Bais, A.S., Vingron, M., Lehrach, H., Adjaye, J., Herwig, R.: In silico identification of a core regulatory network of OCT4 in human embryonic stem cells using an integrated approach. BMC Genetics (2009)","DOI":"10.1186\/1471-2164-10-314"},{"key":"53_CR7","unstructured":"Zou, S., Teng, T., Yang, X.-p.: Based on the B method of authentication technology. Modern Electronic Technology (October 2007)"},{"key":"53_CR8","doi-asserted-by":"crossref","unstructured":"Welch, D.R., Genoni, T.C., Cohen, S.A., Glasser, A.H.: Particle-in-Cell Modeling of Field Reversed Configuration Formation by Odd-parity Rotating Magnetic Fields. Journal of Fusion Energy\u00a029(6) (2010)","DOI":"10.1007\/s10894-010-9315-x"},{"key":"53_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/978-3-540-30497-5_60","volume-title":"Computational and Information Science","author":"S. Zou","year":"2004","unstructured":"Zou, S.: Formally Specifying T Cell Cytokine Networks with B Method. In: Zhang, J., He, J.-H., Fu, Y. (eds.) CIS 2004. LNCS, vol.\u00a03314, pp. 385\u2013390. Springer, Heidelberg (2004)"},{"key":"53_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/978-3-540-30497-5_60","volume-title":"Computational and Information Science","author":"S.R. Zou","year":"2004","unstructured":"Zou, S.R.: Formally Specifying T Cell Cytokine Networks with B Method. In: Zhang, J., He, J.-H., Fu, Y. (eds.) CIS 2004. LNCS, vol.\u00a03314, pp. 385\u2013390. Springer, Heidelberg (2004)"},{"key":"53_CR11","doi-asserted-by":"crossref","unstructured":"Yun, H., Zhao, Y., Wang, J.: Modeling and simulation of fuel cell hybrid vehicles. International Journal of Automotive Technology\u00a011(2) (2010)","DOI":"10.1007\/s12239-010-0028-y"},{"key":"53_CR12","unstructured":"Zou, S.: Modeling T cell Activation with B Mothod. In: SCBA Internation Symposium, p. 369 (2004)"}],"container-title":["Lecture Notes in Computer Science","Information Computing and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-25255-6_53","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,20]],"date-time":"2019-04-20T16:42:30Z","timestamp":1555778550000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-25255-6_53"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642252549","9783642252556"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-25255-6_53","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}