{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T01:51:35Z","timestamp":1725501095981},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540488378"},{"type":"electronic","value":"9783540488392"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11905455_6","type":"book-chapter","created":{"date-parts":[[2006,11,17]],"date-time":"2006-11-17T01:41:17Z","timestamp":1163727677000},"page":"107-122","source":"Crossref","is-referenced-by-count":2,"title":["Adapting Biochemical Kripke Structures for Distributed Model Checking"],"prefix":"10.1007","author":[{"given":"Susmit","family":"Jha","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R. K.","family":"Shyamasundar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"6_CR1","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/s10009-004-0163-8","volume":"7","author":"L. Brim","year":"2005","unstructured":"Brim, L., Yorav, K., \u017d\u00eddkov\u00e1, J.: Assumption-based distribution of CTL model checking. International Journal on Software Tools for Technology Transfer (STTT)\u00a07(1), 61\u201373 (2005)","journal-title":"International Journal on Software Tools for Technology Transfer (STTT)"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Brim, L., \u017d\u00eddkov\u00e1, J., Yorav, K.: Using assumptions to distribute CTL model checking. Electr. Notes Theor. Comput. Sci.\u00a068(4) (2002)","DOI":"10.1016\/S1571-0661(05)80758-3"},{"key":"6_CR3","doi-asserted-by":"publisher","first-page":"428","DOI":"10.1109\/LICS.1990.113767","volume-title":"Proceedings of the 5th Annual IEEE Symposium on Logic in Computer Science","author":"J.R. Burch","year":"1990","unstructured":"Burch, J.R., Clark, E.M., McMillan, K.L., Dill, D.L., Hwang, L.J.: Symbolic model checking: 1020 states and beyond. In: Mitchell, J.C. (ed.) Proceedings of the 5th Annual IEEE Symposium on Logic in Computer Science, Philadelphia, PA, pp. 428\u2013439. IEEE Computer Society Press, Los Alamitos (1990)"},{"key":"6_CR4","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":"1","key":"6_CR5","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/j.tcs.2004.03.063","volume":"325","author":"N. Chabrier-Rivier","year":"2004","unstructured":"Chabrier-Rivier, N., Chiaverini, M., Danos, V., Fages, F., Sch\u00e4chter, V.: Modeling and querying biomolecular interaction networks. Theoretical Computer Science\u00a0325(1), 25\u201344 (2004)","journal-title":"Theoretical Computer Science"},{"key":"6_CR6","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1007\/978-3-540-25974-9_14","volume-title":"Computational Methods in Systems Biology","author":"N. Chabrier-Rivier","year":"2005","unstructured":"Chabrier-Rivier, N., Fages, F., Soliman, S.: The biochemical abstract machine biocham. In: Danos, V., Schachter, V. (eds.) CMSB 2004. LNCS (LNBI), vol.\u00a03082, pp. 172\u2013191. Springer, Heidelberg (2005)"},{"key":"6_CR7","volume-title":"Model Checking","author":"E.M. Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (1999)"},{"key":"6_CR8","series-title":"Lecture Notes in Computer Science","volume-title":"Model Checking Software","year":"2001","unstructured":"Dwyer, M.B. (ed.): SPIN 2001. LNCS, vol.\u00a02057. Springer, Heidelberg (2001)"},{"issue":"1","key":"6_CR9","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1093\/nar\/24.1.32","volume":"24","author":"P.D. Karp","year":"1996","unstructured":"Karp, P.D., Riley, M., Paley, S.M., Pellegrini-Toole, A.: Ecocyc: an encyclopedia of escherichia coli genes and metabolism. Nucleic Acids Research\u00a024(1), 32\u201339 (1996)","journal-title":"Nucleic Acids Research"},{"key":"6_CR10","first-page":"726","volume-title":"ICCAD 2003: Proceedings of the 2003 IEEE\/ACM international conference on Computer-aided design","author":"G. Karypis","year":"2003","unstructured":"Karypis, G., Selvakkumaran, N.: Multi-objective hypergraph partitioning algorithms for cut and maximum subdomain degree minimization. In: ICCAD 2003: Proceedings of the 2003 IEEE\/ACM international conference on Computer-aided design, Washington, DC, USA, August 18, 2003, p. 726. IEEE Computer Society Press, Los Alamitos (2003)"},{"issue":"Database-Issue","key":"6_CR11","doi-asserted-by":"publisher","first-page":"438","DOI":"10.1093\/nar\/gkh100","volume":"32","author":"C.J. Krieger","year":"2004","unstructured":"Krieger, C.J., Zhang, P., Mueller, L.A., Wang, A., Paley, S.M., Arnaud, M., Pick, J., Rhee, S.Y., Karp, P.D.: Metacyc: a multiorganism database of metabolic pathways and enzymes. Nucleic Acids Research\u00a032(Database-Issue), 438\u2013442 (2004)","journal-title":"Nucleic Acids Research"},{"key":"6_CR12","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1007\/978-3-540-25974-9_19","volume-title":"Computational Methods in Systems Biology","author":"S. Soliman","year":"2005","unstructured":"Soliman, S., Fages, F.: Cmbslib: A library for comparing formalisms and models of biological systems. In: Danos, V., Schachter, V. (eds.) CMSB 2004. LNCS (LNBI), vol.\u00a03082, pp. 231\u2013235. Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","Transactions on Computational Systems Biology VII"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11905455_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T19:27:49Z","timestamp":1558294069000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11905455_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540488378","9783540488392"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/11905455_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}