{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,1]],"date-time":"2026-10-01T01:35:25Z","timestamp":1790818525467,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":56,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540688921","type":"print"},{"value":"9783540688945","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-68894-5_3","type":"book-chapter","created":{"date-parts":[[2008,5,30]],"date-time":"2008-05-30T12:39:25Z","timestamp":1212151165000},"page":"54-80","source":"Crossref","is-referenced-by-count":29,"title":["Formal Cell Biology in Biocham"],"prefix":"10.1007","author":[{"given":"Fran\u00e7ois","family":"Fages","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sylvain","family":"Soliman","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"3_CR1","doi-asserted-by":"crossref","first-page":"2703","DOI":"10.1091\/mbc.10.8.2703","volume":"10","author":"K.W. Kohn","year":"1999","unstructured":"Kohn, K.W.: Molecular interaction map of the mammalian cell cycle control and DNA repair systems. Molecular Biology of the Cell\u00a010, 2703\u20132734 (1999)","journal-title":"Molecular Biology of the Cell"},{"key":"3_CR2","doi-asserted-by":"publisher","first-page":"524","DOI":"10.1093\/bioinformatics\/btg015","volume":"19","author":"M. Hucka","year":"2003","unstructured":"Hucka, M., et al.: The systems biology markup language (SBML): A medium for representation and exchange of biochemical network models. Bioinformatics\u00a019, 524\u2013531 (2003)","journal-title":"Bioinformatics"},{"key":"3_CR3","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1111\/j.1432-1033.1976.tb11108.x","volume":"71","author":"R. Thomas","year":"1976","unstructured":"Thomas, R., Gathoye, A.M., Lambert, L.: A complex control circuit: regulation of immunity in temperate bacteriophages. European Journal of Biochemistry\u00a071, 211\u2013227 (1976)","journal-title":"European Journal of Biochemistry"},{"key":"3_CR4","doi-asserted-by":"publisher","first-page":"675","DOI":"10.1016\/j.jtbi.2007.06.016","volume":"248","author":"M. Kaufman","year":"2007","unstructured":"Kaufman, M., Soul\u00e9, C., Thomas, R.: A new necessary condition on interaction graphs for multistationarity. Journal of Theoretical Biology\u00a0248, 675\u2013685 (2007)","journal-title":"Journal of Theoretical Biology"},{"key":"3_CR5","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1016\/j.crvi.2005.10.002","volume":"329","author":"C. Soul\u00e9","year":"2006","unstructured":"Soul\u00e9, C.: Mathematical approaches to differentiation and gene regulation. C.R. Biologies\u00a0329, 13\u201320 (2006)","journal-title":"C.R. Biologies"},{"key":"3_CR6","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1159\/000076100","volume":"1","author":"C. Soul\u00e9","year":"2003","unstructured":"Soul\u00e9, C.: Graphic requirements for multistationarity. ComplexUs\u00a01, 123\u2013133 (2003)","journal-title":"ComplexUs"},{"key":"3_CR7","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1142\/S0218339098000042","volume":"6","author":"E. Snoussi","year":"1998","unstructured":"Snoussi, E.: Necessary conditions for multistationarity and stable periodicity. J. Biol. Syst.\u00a06, 3\u20139 (1998)","journal-title":"J. Biol. Syst."},{"key":"3_CR8","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1142\/S0218339098000054","volume":"6","author":"J.L. Gouz\u00e9","year":"1998","unstructured":"Gouz\u00e9, J.L.: Positive and negative circuits in dynamical systems. J. Biol. Syst.\u00a06, 11\u201315 (1998)","journal-title":"J. Biol. Syst."},{"key":"3_CR9","doi-asserted-by":"publisher","first-page":"1805","DOI":"10.1093\/bioinformatics\/btl172","volume":"22","author":"L. Calzone","year":"2006","unstructured":"Calzone, L., Fages, F., Soliman, S.: BIOCHAM: An environment for modeling biological systems and formalizing experimental knowledge. BioInformatics\u00a022, 1805\u20131807 (2006)","journal-title":"BioInformatics"},{"key":"3_CR10","doi-asserted-by":"publisher","first-page":"64","DOI":"10.4024\/2040402.jbpc.04.02","volume":"4","author":"F. Fages","year":"2004","unstructured":"Fages, F., Soliman, S., Chabrier-Rivier, N.: Modelling and querying interaction networks in the biochemical abstract machine BIOCHAM. Journal of Biological Physics and Chemistry\u00a04, 64\u201373 (2004)","journal-title":"Journal of Biological Physics and Chemistry"},{"key":"3_CR11","first-page":"6","volume":"344","author":"W.S. Hlavacek","year":"2006","unstructured":"Hlavacek, W.S., Faeder, J.R., Blinov, M.L., Posner, R.G., Hucka, M., Fontana, W.: Rules for modeling signal-transduction systems. Science STKE\u00a0344, 6 (2006)","journal-title":"Science STKE"},{"key":"3_CR12","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"crossref","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)"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Fages, F., Soliman, S.: Abstract interpretation and types for systems biology. In: Theoretical Computer Science (to appear, 2008)","DOI":"10.1016\/j.tcs.2008.04.024"},{"key":"3_CR14","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/11880646_4","volume-title":"Transactions on Computational Systems Biology VI","author":"L. Calzone","year":"2006","unstructured":"Calzone, L., Chabrier-Rivier, N., Fages, F., Soliman, S.: Machine learning biochemical networks from temporal logic properties. In: Priami, C., Plotkin, G. (eds.) Transactions on Computational Systems Biology VI. LNCS (LNBI), vol.\u00a04220, pp. 68\u201394. Springer, Heidelberg (2006)"},{"key":"3_CR15","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/11732488_6","volume":"3939","author":"F. Fages","year":"2006","unstructured":"Fages, F.: From syntax to semantics in systems biology - towards automated reasoning tools. Transactions on Computational Systems Biology IV\u00a03939, 68\u201370 (2006)","journal-title":"Transactions on Computational Systems Biology IV"},{"key":"3_CR16","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 biochemical interaction networks. Theoretical Computer Science\u00a0325, 25\u201344 (2004)","journal-title":"Theoretical Computer Science"},{"key":"3_CR17","doi-asserted-by":"publisher","first-page":"5818","DOI":"10.1073\/pnas.97.11.5818","volume":"97","author":"A. Levchenko","year":"2000","unstructured":"Levchenko, A., Bruck, J., Sternberg, P.W.: Scaffold proteins biphasically affect the levels of mitogen-activated protein kinase signaling and reduce its threshold properties. PNAS\u00a097, 5818\u20135823 (2000)","journal-title":"PNAS"},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"Ventura, A.C., Sepulchre, J.A., Merajver, S.D.: A hidden feedback in signaling cascades is revealed. In: PLoS Computational Biology (to appear, 2008)","DOI":"10.1371\/journal.pcbi.1000041"},{"key":"3_CR19","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1083\/jcb.200308060","volume":"164","author":"N.I. Markevich","year":"2005","unstructured":"Markevich, N.I., Hoek, J.B., Kholodenko, B.N.: Signaling switches and bistability arising from multisite phosphorylation in protein kinase cascades. Journal of Cell Biology\u00a0164, 353\u2013359 (2005)","journal-title":"Journal of Cell Biology"},{"key":"3_CR20","volume-title":"Expert Reviews in Molecular Medicine","author":"W. Kolch","year":"2002","unstructured":"Kolch, W., Kotwaliwale, A., Vass, K., Janosch, P.: The role of raf kinases in malignant transformation. In: Expert Reviews in Molecular Medicine, vol.\u00a025, Cambridge University Press, Cambridge (2002)"},{"key":"3_CR21","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1093\/bioinformatics\/btg042","volume":"19","author":"B.E. Shapiro","year":"2003","unstructured":"Shapiro, B.E., Levchenko, A., Meyerowitz, E.M., Wold, B.J., Mjolsness, E.D.: Cellerator: extending a computer algebra system to include biochemical arrows for signal transduction simulations. Bioinformatics\u00a019, 677\u2013678 (2003)","journal-title":"Bioinformatics"},{"key":"3_CR22","doi-asserted-by":"crossref","unstructured":"Regev, A., Silverman, W., Shapiro, E.Y.: Representation and simulation of biochemical processes using the pi-calculus process algebra. In: Proceedings of the sixth Pacific Symposium of Biocomputing, pp. 459\u2013470 (2001)","DOI":"10.1142\/9789814447362_0045"},{"key":"3_CR23","doi-asserted-by":"publisher","first-page":"2340","DOI":"10.1021\/j100540a008","volume":"81","author":"D.T. Gillespie","year":"1977","unstructured":"Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. Journal of Physical Chemistry\u00a081, 2340\u20132361 (1977)","journal-title":"Journal of Physical Chemistry"},{"key":"3_CR24","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1016\/0021-9991(76)90041-3","volume":"22","author":"D.T. Gillespie","year":"1976","unstructured":"Gillespie, D.T.: General method for numerically simulating stochastic time evolution of coupled chemical-reactions. Journal of Computational Physics\u00a022, 403\u2013434 (1976)","journal-title":"Journal of Computational Physics"},{"key":"3_CR25","volume-title":"Computational Methods in Molecular Biology: From Genotype to Phenotype","author":"M.A. Gibson","year":"2000","unstructured":"Gibson, M.A., Bruck, J.: A probabilistic model of a prokaryotic gene and its regulation. In: Bolouri, H., Bower, J. (eds.) Computational Methods in Molecular Biology: From Genotype to Phenotype, MIT press, Cambridge (2000)"},{"key":"3_CR26","first-page":"328","volume-title":"Proceedings of the 1st International Conference on Intelligent Systems for Molecular Biology (ISMB","author":"V.N. Reddy","year":"1993","unstructured":"Reddy, V.N., Mavrovouniotis, M.L., Liebman, M.N.: Petri net representations in metabolic pathways. In: Hunter, L., Searls, D.B., Shavlik, J.W. (eds.) Proceedings of the 1st International Conference on Intelligent Systems for Molecular Biology (ISMB, pp. 328\u2013336. AAAI Press, Menlo Park (1993)"},{"key":"3_CR27","doi-asserted-by":"crossref","unstructured":"Sackmann, A., Heiner, M., Koch, I.: Application of petri net based analysis techniques to signal transduction pathways. BMC Bioinformatics\u00a07 (2006)","DOI":"10.1186\/1471-2105-7-482"},{"key":"3_CR28","doi-asserted-by":"crossref","unstructured":"Chaouiya, C.: Petri net modelling of biological networks. Briefings in Bioinformatics (2007)","DOI":"10.1093\/bib\/bbm029"},{"key":"3_CR29","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75140-3_14","volume-title":"Computational Methods in Systems Biology","author":"D. Gilbert","year":"2007","unstructured":"Gilbert, D., Heiner, M., Lehrack, S.: A unifying framework for modelling and analysing biochemical pathways using petri nets. In: Calder, M., Gilmore, S. (eds.) CMSB 2007. LNCS (LNBI), vol.\u00a04695, Springer, Heidelberg (2007)"},{"key":"3_CR30","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1093\/bioinformatics\/18.2.351","volume":"18","author":"S. Schuster","year":"2002","unstructured":"Schuster, S., Pfeiffer, T., Moldenhauer, F., et al.: Exploring the pathway structure of metabolism: decomposition into subnetworks and application to mycoplasma pneumoniae. Bioinformatics\u00a018, 51\u201361 (2002)","journal-title":"Bioinformatics"},{"key":"3_CR31","unstructured":"Zevedei-Oancea, I., Schuster, S.: Topological analysis of metabolic networks based on petri net theory. Silico Biology\u00a03 (2003)"},{"key":"3_CR32","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 cheking of biochemical networks. In: Priami, C. (ed.) CMSB 2003. LNCS, vol.\u00a02602, pp. 149\u2013162. Springer, Heidelberg (2003)"},{"key":"3_CR33","doi-asserted-by":"crossref","unstructured":"Eker, S., Knapp, M., Laderoute, K., Lincoln, P., Meseguer, J., S\u00f6nmez, M.K.: Pathway logic: Symbolic analysis of biological signaling. In: Proceedings of the seventh Pacific Symposium on Biocomputing, pp. 400\u2013412 (2002)","DOI":"10.1142\/9789812799623_0038"},{"key":"3_CR34","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1145\/512950.512973","volume-title":"POPL 1977: Proceedings of the 6th ACM Symposium on Principles of Programming Languages","author":"P. Cousot","year":"1977","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: POPL 1977: Proceedings of the 6th ACM Symposium on Principles of Programming Languages, Los Angeles, pp. 238\u2013252. ACM Press, New York (1977)"},{"key":"3_CR35","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/S0304-3975(00)00313-3","volume":"277","author":"P. Cousot","year":"2002","unstructured":"Cousot, P.: Constructive design of a hierarchy of semantics of a transition system by abstract interpretation. Theoretical Computer Science\u00a0277, 47\u2013103 (2002)","journal-title":"Theoretical Computer Science"},{"key":"3_CR36","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1145\/263699.263744","volume-title":"POP 1997: Proceedings of the 24th ACM Symposium on Principles of Programming Languages","author":"P. Cousot","year":"1997","unstructured":"Cousot, P.: Types as abstract interpretation. In: POP 1997: Proceedings of the 24th ACM Symposium on Principles of Programming Languages, pp. 316\u2013331. ACM Press, New York (1997)"},{"key":"3_CR37","doi-asserted-by":"publisher","first-page":"1819","DOI":"10.1371\/journal.pcbi.0030184","volume":"3","author":"L. Qiao","year":"2007","unstructured":"Qiao, L., Nachbar, R.B., Kevrekidis, I.G., Shvartsman, S.Y.: Bistability and oscillations in the huang-ferrell model of mapk signaling. PLoS Computational Biology\u00a03, 1819\u20131826 (2007)","journal-title":"PLoS Computational Biology"},{"key":"3_CR38","volume-title":"Model Checking","author":"E.M. Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"3_CR39","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1016\/j.jtbi.2004.04.003","volume":"229","author":"G. Bernot","year":"2004","unstructured":"Bernot, G., Comet, J.P., Richard, A., Guespin, J.: A fruitful application of formal methods to biological regulatory networks: Extending thomas\u2019 asynchronous logical approach with temporal logic. Journal of Theoretical Biology\u00a0229, 339\u2013347 (2004)","journal-title":"Journal of Theoretical Biology"},{"key":"3_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/b94064","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, Springer, Heidelberg (2004)"},{"key":"3_CR41","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/11880646_3","volume-title":"Transactions on Computational Systems Biology VI","author":"M. Calder","year":"2006","unstructured":"Calder, M., Vyshemirsky, V., Gilbert, D., Orton, R.: Analysis of signalling pathways using the continuous time markow chains. In: Priami, C., Plotkin, G. (eds.) Transactions on Computational Systems Biology VI. LNCS (LNBI), vol.\u00a04220, pp. 44\u201367. Springer, Heidelberg (2006)"},{"key":"3_CR42","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/11885191_3","volume-title":"Computational Methods in Systems Biology","author":"J. Heath","year":"2006","unstructured":"Heath, J., Kwiatkowska, M., Norman, G., Parker, D., Tymchyshyn, O.: Probabilistic model checking of complex biological pathways. In: Priami, C. (ed.) CMSB 2006. LNCS (LNBI), vol.\u00a04210, pp. 32\u201347. Springer, Heidelberg (2006)"},{"key":"3_CR43","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 for biochemical processes. Cell Biochemistry and Biophysics\u00a038, 271\u2013286 (2003)","journal-title":"Cell Biochemistry and Biophysics"},{"key":"3_CR44","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11680093_1","volume-title":"Logic Based Program Synthesis and Transformation","author":"F. Fages","year":"2006","unstructured":"Fages, F.: Temporal logic constraints in the biochemical abstract machine biocham (invited talk). In: Hill, P.M. (ed.) LOPSTR 2005. LNCS, vol.\u00a03901, Springer, Heidelberg (2006)"},{"key":"3_CR45","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1007\/978-3-540-25974-9_24","volume-title":"Computational Methods in Systems Biology","author":"L. Cardelli","year":"2005","unstructured":"Cardelli, L.: Brane calculi - interactions of biological membranes. In: Danos, V., Schachter, V. (eds.) CMSB 2004. LNCS (LNBI), vol.\u00a03082, pp. 257\u2013280. Springer, Heidelberg (2005)"},{"key":"3_CR46","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/j.tcs.2004.03.061","volume":"325","author":"A. Regev","year":"2004","unstructured":"Regev, A., Panina, E.M., Silverman, W., Cardelli, L., Shapiro, E.: Bioambients: An abstraction for biological compartments. Theoretical Computer Science\u00a0325, 141\u2013167 (2004)","journal-title":"Theoretical Computer Science"},{"key":"3_CR47","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1016\/j.tcs.2004.03.065","volume":"325","author":"V. Danos","year":"2004","unstructured":"Danos, V., Laneve, C.: Formal molecular biology. Theoretical Computer Science\u00a0325, 69\u2013110 (2004)","journal-title":"Theoretical Computer Science"},{"key":"3_CR48","unstructured":"Phillips, A., Cardelli, L.: A correct abstract machine for the stochastic pi-calculus. Transactions on Computational Systems Biology Special issue of BioConcur (to appear, 2004)"},{"key":"3_CR49","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","DOI":"10.1007\/11885191_4","volume-title":"Computational Methods in Systems Biology","author":"F. Fages","year":"2006","unstructured":"Fages, F., Soliman, S.: Type inference in systems biology. In: Priami, C. (ed.) CMSB 2006. LNCS (LNBI), vol.\u00a04210, Springer, Heidelberg (2006)"},{"key":"3_CR50","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45657-0_29","volume-title":"Computer Aided Verification","author":"A. Cimatti","year":"2002","unstructured":"Cimatti, A., Clarke, E., Enrico Giunchiglia, F.G., Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A.: Nusmv 2: An opensource tool for symbolic model checking. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol.\u00a02404, Springer, Heidelberg (2002)"},{"key":"3_CR51","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/978-3-540-75140-3_4","volume-title":"Computational Methods in Systems Biology","author":"F. Fages","year":"2007","unstructured":"Fages, F., Rizk, A.: On the analysis of numerical data time series in temporal logic. In: Calder, M., Gilmore, S. (eds.) CMSB 2007. LNCS (LNBI), vol.\u00a04695, pp. 48\u201363. Springer, Heidelberg (2007)"},{"key":"3_CR52","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/978-3-540-78652-8_11","volume-title":"Probabilistic Inductive Logic Programming","author":"F. Fages","year":"2008","unstructured":"Fages, F., Soliman, S.: Model revision from temporal logic properties in systems biology. In: Probabilistic Inductive Logic Programming. LNCS, vol.\u00a04911, pp. 287\u2013304. Springer, Heidelberg (2008)"},{"key":"3_CR53","doi-asserted-by":"publisher","first-page":"512","DOI":"10.1007\/BF01211866","volume":"6","author":"H. Hansson","year":"1994","unstructured":"Hansson, H., Jonsson, B.: A logic for reasoning about time and reliability. Formal Aspects of Computing\u00a06, 512\u2013535 (1994)","journal-title":"Formal Aspects of Computing"},{"key":"3_CR54","doi-asserted-by":"publisher","first-page":"322","DOI":"10.1109\/QEST.2004.1348048","volume-title":"st International Conference on Quantitative Evaluation of Systems (QEST 2004)","author":"M.Z. Kwiatkowska","year":"2004","unstructured":"Kwiatkowska, M.Z., Norman, G., Parker, D.: Prism 2.0: A tool for probabilistic model checking. In: st International Conference on Quantitative Evaluation of Systems (QEST 2004), pp. 322\u2013323. IEEE Computer Society, Los Alamitos (2004)"},{"key":"3_CR55","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1007\/978-3-540-24622-0_8","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"T. H\u00e9rault","year":"2004","unstructured":"H\u00e9rault, T., Lassaigne, R., Magniette, F., Peyronnet, S.: Approximate probabilistic model checking. In: Steffen, B., Levi, G. (eds.) VMCAI 2004. LNCS, vol.\u00a02937, pp. 73\u201384. Springer, Heidelberg (2004)"},{"key":"3_CR56","doi-asserted-by":"crossref","first-page":"1876","DOI":"10.1021\/jp993732q","volume":"104","author":"M.A. Gibson","year":"2000","unstructured":"Gibson, M.A., Bruck, J.: Efficient exact stochastic simulation of chemical systems with many species and many channels. Journal of Physical Chemistry\u00a0104, 1876\u20131889 (2000)","journal-title":"Journal of Physical Chemistry"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Computational Systems Biology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68894-5_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,30]],"date-time":"2025-01-30T14:15:20Z","timestamp":1738246520000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68894-5_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540688921","9783540688945"],"references-count":56,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68894-5_3","relation":{},"subject":[]}}