{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T00:50:02Z","timestamp":1742950202548,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540253754"},{"type":"electronic","value":"9783540259749"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"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":[[2005]]},"DOI":"10.1007\/978-3-540-25974-9_18","type":"book-chapter","created":{"date-parts":[[2010,2,25]],"date-time":"2010-02-25T14:23:04Z","timestamp":1267107784000},"page":"225-230","source":"Crossref","is-referenced-by-count":0,"title":["Black Box Checking for Biochemical Networks"],"prefix":"10.1007","author":[{"given":"Dragan","family":"Bo\u0161na\u010dki","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"18_CR1","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0890-5401(87)90052-6","volume":"75","author":"D. Angluin","year":"1987","unstructured":"Angluin, D.: Learning Regular Sets from Queries and Counterexamples. Information and Computation\u00a075, 87\u2013106 (1987)","journal-title":"Information and Computation"},{"key":"18_CR2","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1385\/CBB:38:3:271","volume":"38","author":"M. Antoniotti","year":"2003","unstructured":"Antoniotti, M., Policriti, A., Ugel, N., Mishra, B.: Model Building and Model Checking Biochemical Processes. Cell Biochemistry and Biophysics\u00a038, 271\u2013286 (2003)","journal-title":"Cell Biochemistry and Biophysics"},{"key":"18_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/978-3-540-24732-6_12","volume-title":"Model Checking Software","author":"G. Batt","year":"2004","unstructured":"Batt, G., Bergamini, D., de Jong, H., Garavel, H., Mateescu, R.: Model Checking Genetic Regulatory Networks Using GNA and CADP. In: Graf, S., Mounier, L. (eds.) SPIN 2004. LNCS, vol.\u00a02989, pp. 158\u2013163. Springer, Heidelberg (2004)"},{"volume-title":"Computational Modeling of Genetic and Biochemical Networks","year":"2001","unstructured":"Bower, J.M., Belouri, H. (eds.): Computational Modeling of Genetic and Biochemical Networks. MIT Press, Cambridge (2001)","key":"18_CR4"},{"issue":"012","key":"18_CR5","first-page":"1","volume":"6-B1","author":"C.H. Bryant","year":"2001","unstructured":"Bryant, C.H., Muggleton, S.H., Oliver, S.G., Kell, D.B., Reiser, P., King, R.D.: Combining Inductive Logic Programming, Active Learning and Robotics to Discover the Function of Genes. Electronic Transactions in Artificial Intelligence\u00a06-B1(012), 1\u201336 (2001)","journal-title":"Electronic Transactions in Artificial Intelligence"},{"key":"18_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/3-540-36481-1_13","volume-title":"Computational Methods in Systems Biology","author":"N. Chabrier","year":"2003","unstructured":"Chabrier, N., Fages, F.: Symbolic Model Checking of Biochemical Networks. In: Priami, C. (ed.) CMSB 2003. LNCS, vol.\u00a02602, pp. 149\u2013162. Springer, Heidelberg (2003)"},{"issue":"2","key":"18_CR7","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1109\/TSE.1978.231496","volume":"SE-4","author":"T.S. Chow","year":"1978","unstructured":"Chow, T.S.: Testing Software Design Modeled by Finite State Machines. IEEE Transactions on Software Engineering\u00a0SE-4(2), 178\u2013187 (1978)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"18_CR8","doi-asserted-by":"publisher","DOI":"10.1016\/B978-044450813-3\/50026-6","volume-title":"Model Checking","author":"E.M. Clarke","year":"2001","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (2001)"},{"key":"18_CR9","volume-title":"The Spin Model Checker: Primer and Reference Manual","author":"G.J. Holzmann","year":"2003","unstructured":"Holzmann, G.J.: The Spin Model Checker: Primer and Reference Manual. Addison-Wesley, Reading (2003)"},{"key":"18_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/3-540-45061-0_5","volume-title":"Automata, Languages and Programming","author":"D. Peled","year":"2003","unstructured":"Peled, D.: Model Checking and Testing Combined. In: Baeten, J.C.M., Lenstra, J.K., Parrow, J., Woeginger, G.J. (eds.) ICALP 2003. LNCS, vol.\u00a02719, pp. 47\u201363. Springer, Heidelberg (2003)"},{"issue":"2","key":"18_CR11","first-page":"225","volume":"7","author":"D. Peled","year":"2002","unstructured":"Peled, D., Vardi, M.Y., Yannakakis, M.: Black Box Checking. Journal of Automata, Languages and Combinatorics\u00a07(2), 225\u2013246 (2002)","journal-title":"Journal of Automata, Languages and Combinatorics"},{"key":"18_CR12","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1146\/annurev.bioeng.3.1.391","volume":"3","author":"C. Rao","year":"2001","unstructured":"Rao, C., Arkin, A.: Control Motifs for Intracellular Regulatory Networks. Annual Review of Biomedical Engineering\u00a03, 391\u2013419 (2001)","journal-title":"Annual Review of Biomedical Engineering"},{"unstructured":"Regev, A., Silverman, W., Shapiro, E.Y.: Representation and Simulation of Biochemical Processes Using the pi-Calculus Process Algebra. In: Pacific Symposium on Biocomputing, 2001, pp. 459\u2013470 (2001)","key":"18_CR13"},{"unstructured":"Somogyi, R., Fuhrman, S., Wen, X.: Genetic Network Inference in Computational Models and Applications to Large Scale Gene Expression Data, in [4] above (2001)","key":"18_CR14"},{"key":"18_CR15","first-page":"98","volume":"4","author":"M.P. Vasilevskii","year":"1973","unstructured":"Vasilevskii, M.P.: Failure Diagnosis of Automata. Kibernetika\u00a04, 98\u2013108 (1973)","journal-title":"Kibernetika"}],"container-title":["Lecture Notes in Computer Science","Computational Methods in Systems Biology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-25974-9_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T13:44:35Z","timestamp":1558273475000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-25974-9_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540253754","9783540259749"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-25974-9_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}