{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T17:36:30Z","timestamp":1725730590673},"publisher-location":"Berlin, Heidelberg","reference-count":164,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642388736"},{"type":"electronic","value":"9783642388743"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"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":[[2013]]},"DOI":"10.1007\/978-3-642-38874-3_3","type":"book-chapter","created":{"date-parts":[[2013,6,9]],"date-time":"2013-06-09T22:11:59Z","timestamp":1370815919000},"page":"63-112","source":"Crossref","is-referenced-by-count":23,"title":["Model Checking of Biological Systems"],"prefix":"10.1007","author":[{"given":"Lubo\u0161","family":"Brim","sequence":"first","affiliation":[]},{"given":"Milan","family":"\u010ce\u0161ka","sequence":"additional","affiliation":[]},{"given":"David","family":"\u0160afr\u00e1nek","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"Allmaier, S., Dalibor, S., Kreische, D.: Parallel Graph Generation Algorithms for Shared and Distributed Memory Machines. In: Parallel Computing Conference (PARCO). LNCS, vol. 1253, pp. 207\u2013218. Springer (1997)","DOI":"10.1016\/S0927-5452(98)80074-9"},{"key":"3_CR2","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1006\/inco.1993.1024","volume":"104","author":"R. Alur","year":"1993","unstructured":"Alur, R., Courcoubetis, C., Dill, D.: Model-checking in dense real-time. Information and Computation\u00a0104, 2\u201334 (1993)","journal-title":"Information and Computation"},{"issue":"1","key":"3_CR3","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1145\/227595.227602","volume":"43","author":"R. Alur","year":"1996","unstructured":"Alur, R., Feder, T., Henzinger, T.A.: The benefits of relaxing punctuality. J. ACM\u00a043(1), 116\u2013146 (1996)","journal-title":"J. ACM"},{"issue":"1","key":"3_CR4","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1145\/174644.174651","volume":"41","author":"R. Alur","year":"1994","unstructured":"Alur, R., Henzinger, T.A.: A really temporal logic. J. ACM\u00a041(1), 181\u2013203 (1994)","journal-title":"J. ACM"},{"key":"3_CR5","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_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/3-540-61474-5_75","volume-title":"Computer Aided Verification","author":"A. Aziz","year":"1996","unstructured":"Aziz, A., Sanwal, K., Singhal, V., Brayton, R.: Verifying continuous time Markov chains. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol.\u00a01102, pp. 269\u2013276. Springer, Heidelberg (1996)"},{"key":"3_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"358","DOI":"10.1007\/10722167_28","volume-title":"Computer Aided Verification","author":"C. Baier","year":"2000","unstructured":"Baier, C., Haverkort, B., Hermanns, H., Katoen, J.P.: Model Checking Continuous-Time Markov Chains by Transient Analysis. In: Emerson, E.A., Sistla, A.P. (eds.) CAV 2000. LNCS, vol.\u00a01855, pp. 358\u2013372. Springer, Heidelberg (2000)"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Ballarini, P., Forlin, M., Mazza, T., Prandi, D.: Efficient parallel statistical model checking of biochemical networks. In: Parallel and Distributed Methods in verifiCation (PDMC). EPTCS, vol.\u00a014, pp. 47\u201361 (2009)","DOI":"10.4204\/EPTCS.14.4"},{"issue":"20","key":"3_CR9","doi-asserted-by":"publisher","first-page":"2019","DOI":"10.1016\/j.tcs.2010.02.010","volume":"411","author":"P. Ballarini","year":"2010","unstructured":"Ballarini, P., Guerriero, M.L.: Query-based verification of qualitative trends and oscillations in biochemical systems. Theor. Comput. Sci.\u00a0411(20), 2019\u20132036 (2010)","journal-title":"Theor. Comput. Sci."},{"issue":"3","key":"3_CR10","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1093\/bib\/bbp020","volume":"10","author":"P. Ballarini","year":"2009","unstructured":"Ballarini, P., Guido, R., Mazza, T., Prandi, D.: Taming the complexity of biological pathways through parallel computing. Briefings in Bioinformatics\u00a010(3), 278\u2013288 (2009)","journal-title":"Briefings in Bioinformatics"},{"key":"3_CR11","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1016\/j.tcs.2011.12.058","volume":"431","author":"R. Barbuti","year":"2012","unstructured":"Barbuti, R., Caravagna, G., Maggiolo-Schettini, A., Milazzo, P., Tini, S.: Foundational aspects of multiscale modeling of biological systems with process algebras. Theor. Comput. Sci.\u00a0431, 96\u2013116 (2012)","journal-title":"Theor. Comput. Sci."},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"Barnat, J., Bauch, P., Brim, L., \u010ce\u0161ka, M.: Computing Strongly Connected Components in Parallel on CUDA. In: International Parallel & Distributed Processing Symposium (IPDPS), pp. 541\u2013552. IEEE Computer Society (2011)","DOI":"10.1109\/IPDPS.2011.59"},{"issue":"3","key":"3_CR13","doi-asserted-by":"publisher","first-page":"693","DOI":"10.1109\/TCBB.2011.110","volume":"9","author":"J. Barnat","year":"2012","unstructured":"Barnat, J., Brim, L., Krejci, A., Streck, A., Safranek, D., Vejnar, M., Vejpustek, T.: On Parameter Synthesis by Parallel Model Checking. IEEE\/ACM Transactions on Computational Biology and Bioinformatics\u00a09(3), 693\u2013705 (2012)","journal-title":"IEEE\/ACM Transactions on Computational Biology and Bioinformatics"},{"key":"3_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/978-3-540-73370-6_13","volume-title":"Model Checking Software","author":"J. Barnat","year":"2007","unstructured":"Barnat, J., Brim, L., Ro\u010dkai, P.: Scalable Multi-core LTL Model-Checking. In: Bo\u0161na\u010dki, D., Edelkamp, S. (eds.) SPIN 2007. LNCS, vol.\u00a04595, pp. 187\u2013203. Springer, Heidelberg (2007)"},{"key":"3_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/978-3-642-10373-5_21","volume-title":"Formal Methods and Software Engineering","author":"J. Barnat","year":"2009","unstructured":"Barnat, J., Brim, L., Ro\u010dkai, P.: A Time-Optimal On-the-Fly Parallel Algorithm for Model Checking of Weak LTL Properties. In: Breitman, K., Cavalcanti, A. (eds.) ICFEM 2009. LNCS, vol.\u00a05885, pp. 407\u2013425. Springer, Heidelberg (2009)"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Barnat, J., Brim, L., Ro\u010dkai, P.: Parallel Partial Order Reduction with Topological Sort Proviso. In: Software Engineering and Formal Methods (SEFM), pp. 222\u2013231. IEEE Computer Society (2010)","DOI":"10.1109\/SEFM.2010.35"},{"key":"3_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/3-540-45139-0_13","volume-title":"Model Checking Software","author":"J. Barnat","year":"2001","unstructured":"Barnat, J., Brim, L., St\u0159\u00edbrn\u00e1, J.: Distributed LTL Model-Checking in SPIN. In: Dwyer, M.B. (ed.) SPIN 2001. LNCS, vol.\u00a02057, pp. 200\u2013216. Springer, Heidelberg (2001)"},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"Barnat, J., Brim, L., \u010cern\u00e1, I., Dra\u017ean, S., Fabrikov\u00e1, J., L\u00e1n\u00edk, J., \u0160afr\u00e1nek, D., Ma, H.: BioDiVinE: A Framework for Parallel Analysis of Biological Models. In: Computational Models for Cell Processes (COMPMOD). EPTCS, vol.\u00a06, pp. 31\u201345 (2009)","DOI":"10.4204\/EPTCS.6.3"},{"key":"3_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1007\/11817963_26","volume-title":"Computer Aided Verification","author":"J. Barnat","year":"2006","unstructured":"Barnat, J., Brim, L., \u010cern\u00e1, I., Moravec, P., Ro\u010dkai, P., \u0160ime\u010dek, P.: DiVinE \u2013 A Tool for Distributed Verification. In: Ball, T., Jones, R.B. (eds.) CAV 2006. LNCS, vol.\u00a04144, pp. 278\u2013281. Springer, Heidelberg (2006)"},{"issue":"3","key":"3_CR20","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1093\/bib\/bbp074","volume":"11","author":"J. Barnat","year":"2010","unstructured":"Barnat, J., Brim, L., \u0160afr\u00e1nek, D.: High-Performance Analysis of Biological Systems Dynamics with the DiVinE Model Checker. Briefings in Bioinformatics\u00a011(3), 301\u2013312 (2010)","journal-title":"Briefings in Bioinformatics"},{"key":"3_CR21","doi-asserted-by":"crossref","unstructured":"Barnat, J., Brim, L., \u0160afr\u00e1nek, D., Vejn\u00e1r, M.: Parameter Scanning by Parallel Model Checking with Applications in Systems Biology. In: Parallel and Distributed Methods in Verification and High Performance Computational Systems Biology (HiBi\/PDMC 2010), pp. 95\u2013104. IEEE Computer Society (2010)","DOI":"10.1109\/PDMC-HiBi.2010.21"},{"key":"3_CR22","doi-asserted-by":"crossref","unstructured":"Barnat, J., Ro\u010dkai, P.: Shared Hash Tables in Parallel Model Checking. In: Parallel and Distributed Methods in verifiCation (PDMC). ENTCS, vol.\u00a0198, pp. 79\u201391 (2008)","DOI":"10.1016\/j.entcs.2007.10.021"},{"issue":"9","key":"3_CR23","doi-asserted-by":"publisher","first-page":"1083","DOI":"10.1016\/j.jpdc.2011.10.015","volume":"72","author":"J. Barnat","year":"2012","unstructured":"Barnat, J., Bauch, P., Brim, L., \u010ce\u0161ka, M.: Designing fast LTL model checking algorithms for many-core GPUs. Journal of Parallel and Distributed Computing\u00a072(9), 1083\u20131097 (2012)","journal-title":"Journal of Parallel and Distributed Computing"},{"issue":"20","key":"3_CR24","doi-asserted-by":"publisher","first-page":"1999","DOI":"10.1016\/j.tcs.2009.12.019","volume":"411","author":"E. Bartocci","year":"2010","unstructured":"Bartocci, E., Corradini, F., Merelli, E., Tesei, L.: Detecting synchronisation of biological oscillators by model checking. Theoretical Computer Science\u00a0411(20), 1999\u20132018 (2010)","journal-title":"Theoretical Computer Science"},{"key":"3_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/978-3-540-71493-4_8","volume-title":"Hybrid Systems: Computation and Control","author":"G. Batt","year":"2007","unstructured":"Batt, G., Belta, C., Weiss, R.: Model checking genetic regulatory networks with parameter uncertainty. In: Bemporad, A., Bicchi, A., Buttazzo, G. (eds.) HSCC 2007. LNCS, vol.\u00a04416, pp. 61\u201375. Springer, Heidelberg (2007)"},{"issue":"18","key":"3_CR26","doi-asserted-by":"publisher","first-page":"603","DOI":"10.1093\/bioinformatics\/btq387","volume":"26","author":"G. Batt","year":"2010","unstructured":"Batt, G., Page, M., Cantone, I., Goessler, G., Monteiro, P., de Jong, H.: Efficient parameter search for qualitative models of regulatory networks using symbolic model checking. Bioinformatics\u00a026(18), 603\u2013610 (2010)","journal-title":"Bioinformatics"},{"key":"3_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/978-3-540-75454-1_5","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"G. Batt","year":"2007","unstructured":"Batt, G., Ben Salah, R., Maler, O.: On timed models of gene networks. In: Raskin, J.-F., Thiagarajan, P.S. (eds.) FORMATS 2007. LNCS, vol.\u00a04763, pp. 38\u201352. Springer, Heidelberg (2007)"},{"key":"3_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1007\/10722167_19","volume-title":"Computer Aided Verification","author":"G. Behrmann","year":"2000","unstructured":"Behrmann, G., Hune, T., Vaandrager, F.: Distributed Timed Model Checking \u2014 How the Search Order Matters. In: Emerson, E.A., Sistla, A.P. (eds.) CAV 2000. LNCS, vol.\u00a01855, pp. 216\u2013231. Springer, Heidelberg (2000)"},{"key":"3_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-540-30080-9_7","volume-title":"Formal Methods for the Design of Real-Time Systems","author":"G. Behrmann","year":"2004","unstructured":"Behrmann, G., David, A., Larsen, K.G.: A tutorial on uppaal. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol.\u00a03185, pp. 200\u2013236. Springer, Heidelberg (2004)"},{"issue":"11","key":"3_CR30","doi-asserted-by":"publisher","first-page":"1749","DOI":"10.1109\/TAC.2006.884957","volume":"51","author":"C. Belta","year":"2006","unstructured":"Belta, C., Habets, L.: Controlling a class of nonlinear systems on rectangles. IEEE Transactions on Automatic Control\u00a051(11), 1749\u20131759 (2006)","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"3","key":"3_CR31","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.: Application of formal methods to biological regulatory networks: extending thomas\u2019 asynchronous logical approach with temporal logic. Journal of Theoretical Biology\u00a0229(3), 339\u2013347 (2004)","journal-title":"Journal of Theoretical Biology"},{"issue":"16","key":"3_CR32","doi-asserted-by":"publisher","first-page":"2049","DOI":"10.1093\/bioinformatics\/btp355","volume":"25","author":"N. Bonzanni","year":"2009","unstructured":"Bonzanni, N., Krepska, E., Feenstra, K.A., Fokkink, W., Kielmann, T., Bal, H.E., Heringa, J.: Executing multicellular differentiation: quantitative predictive modelling of C.elegans vulval development. Bioinformatics\u00a025(16), 2049\u20132056 (2009)","journal-title":"Bioinformatics"},{"key":"3_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/978-3-642-32940-1_24","volume-title":"CONCUR 2012 \u2013 Concurrency Theory","author":"L. Bortolussi","year":"2012","unstructured":"Bortolussi, L., Hillston, J.: Fluid model checking. In: Koutny, M., Ulidowski, I. (eds.) CONCUR 2012. LNCS, vol.\u00a07454, pp. 333\u2013347. Springer, Heidelberg (2012)"},{"key":"3_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"424","DOI":"10.1007\/978-3-540-68894-5_12","volume-title":"Formal Methods for Computational Systems Biology","author":"L. Bortolussi","year":"2008","unstructured":"Bortolussi, L., Policriti, A.: Hybrid systems and biology. In: Bernardo, M., Degano, P., Zavattaro, G. (eds.) SFM 2008. LNCS, vol.\u00a05016, pp. 424\u2013448. Springer, Heidelberg (2008)"},{"key":"3_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/978-3-642-02652-2_7","volume-title":"Model Checking Software","author":"D. Bo\u0161na\u010dki","year":"2009","unstructured":"Bo\u0161na\u010dki, D., Edelkamp, S., Sulewski, D.: Efficient Probabilistic Model Checking on General Purpose Graphics Processors. In: P\u0103s\u0103reanu, C.S. (ed.) SPIN 2009. LNCS, vol.\u00a05578, pp. 32\u201349. Springer, Heidelberg (2009)"},{"key":"3_CR36","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1007\/978-3-540-88562-7_25","volume-title":"Computational Methods in Systems Biology","author":"D. Bo\u0161na\u010dki","year":"2008","unstructured":"Bo\u0161na\u010dki, D., ten Eikelder, H.M.M., Steijaert, M.N., de Vink, E.P.: Stochastic analysis of amino acid substitution in protein synthesis. In: Heiner, M., Uhrmacher, A.M. (eds.) CMSB 2008. LNCS (LNBI), vol.\u00a05307, pp. 367\u2013386. Springer, Heidelberg (2008)"},{"key":"3_CR37","unstructured":"Brenan, K.E., Campbell, S.L., Petzold, L.R.: Numerical Solution of Initial-Value Problems in Differential-Algebraic Equations. SIAM (1987)"},{"key":"3_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"352","DOI":"10.1007\/978-3-540-30494-4_25","volume-title":"Formal Methods in Computer-Aided Design","author":"L. Brim","year":"2004","unstructured":"Brim, L., \u010cern\u00e1, I., Moravec, P., \u0160im\u0161a, J.: Accepting predecessors are better than back edges in distributed LTL model-checking. In: Hu, A.J., Martin, A.K. (eds.) FMCAD 2004. LNCS, vol.\u00a03312, pp. 352\u2013366. Springer, Heidelberg (2004)"},{"key":"3_CR39","doi-asserted-by":"crossref","unstructured":"Brim, L., Barnat, J.: Platform Dependent Verification: On Engineering Verification Tools for 21st Century. In: Parallel and Distributed Methods in verifiCation (PDMC). EPTCS, vol.\u00a072, pp. 1\u201312 (2011)","DOI":"10.4204\/EPTCS.72.1"},{"key":"3_CR40","doi-asserted-by":"crossref","unstructured":"Brim, L., \u010ceska, M., Dra\u017ean, S., \u0160afr\u00e1nek, D.: Exploring parameter space of stochastic biochemical systems using quantitative model checking. Tech. rep., Faculty of Informatics, Masaryk University (2013), http:\/\/sybila.fi.muni.cz\/TR-01-2013.pdf","DOI":"10.1007\/978-3-642-39799-8_7"},{"issue":"2","key":"3_CR41","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1016\/0890-5401(92)90017-A","volume":"98","author":"J.R. Burch","year":"1992","unstructured":"Burch, J.R., Clarke, E.M., McMillan, K.L., Dill, D.L., Hwang, L.J.: Symbolic model checking: 1020 states and beyond. Information and Computation\u00a098(2), 142\u2013170 (1992)","journal-title":"Information and Computation"},{"key":"3_CR42","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 continuous time markov 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_CR43","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_CR44","doi-asserted-by":"crossref","unstructured":"Campagna, D., Piazza, C.: Hybrid automata in systems biology: How far can we go? In: From Biology to Concurrency and Back (FBTC). ENTCS, vol.\u00a0229, pp. 93\u2013108 (2009)","DOI":"10.1016\/j.entcs.2009.02.007"},{"key":"3_CR45","doi-asserted-by":"crossref","unstructured":"Caravagna, G., Hillston, J.: Modeling biological systems with delays in Bio-PEPA. In: Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi 2010. EPTCS, vol.\u00a040, pp. 85\u2013101 (2010)","DOI":"10.4204\/EPTCS.40.7"},{"issue":"155","key":"3_CR46","first-page":"1","volume":"3","author":"M. Carrillo","year":"2012","unstructured":"Carrillo, M., G\u00f3ngora, P.A., Rosenblueth, D.A.: An overview of existing modeling tools making use of model checking in the analysis of biochemical networks. Front Plant Sci.\u00a03(155), 1\u201313 (2012)","journal-title":"Front Plant Sci."},{"key":"3_CR47","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/3-540-60029-9_40","volume-title":"Application and Theory of Petri Nets 1995","author":"S. Caselli","year":"1995","unstructured":"Caselli, S., Conte, G., Marenzoni, P.: Parallel state space exploration for GSPN models. In: DeMichelis, G., D\u00edaz, M. (eds.) ICATPN 1995. LNCS, vol.\u00a0935, pp. 181\u2013200. Springer, Heidelberg (1995)"},{"key":"3_CR48","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/3-540-44829-2_4","volume-title":"Model Checking Software","author":"I. \u010cern\u00e1","year":"2003","unstructured":"\u010cern\u00e1, I., Pel\u00e1nek, R.: Distributed explicit fair cycle detection (Set based approach). In: Ball, T., Rajamani, S.K. (eds.) SPIN 2003. LNCS, vol.\u00a02648, pp. 49\u201373. Springer, Heidelberg (2003)"},{"issue":"4","key":"3_CR49","doi-asserted-by":"publisher","first-page":"210","DOI":"10.1093\/bib\/bbm029","volume":"8","author":"C. Chaouiya","year":"2007","unstructured":"Chaouiya, C.: Petri net modelling of biological networks. Briefings in Bioinformatics\u00a08(4), 210\u2013219 (2007)","journal-title":"Briefings in Bioinformatics"},{"key":"3_CR50","series-title":"LNCIS","first-page":"830","volume-title":"Positive Systems","author":"C. Chaouiya","year":"2003","unstructured":"Chaouiya, C., Remy, E., Moss\u00e9, B., Thieffry, D.: Qualitative analysis of regulatory graphs: A computational tool based on a discrete formal framework. In: Benvenuti, L., De Santis, A., Farina, L. (eds.) Positive Systems. LNCIS, vol.\u00a0294, pp. 830\u2013832. Springer, Heidelberg (2003)"},{"key":"3_CR51","doi-asserted-by":"crossref","unstructured":"Che, S., Li, J., Sheaffer, J., Skadron, K., Lach, J.: Accelerating Compute-Intensive Applications with GPUs and FPGAs. In: IEEE Symposium on Application Specific Processors (SASP), pp. 101\u2013107. IEEE Computer Society (2008)","DOI":"10.1109\/SASP.2008.4570793"},{"issue":"1","key":"3_CR52","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1287\/ijoc.10.1.82","volume":"10","author":"G. Ciardo","year":"1998","unstructured":"Ciardo, G., Gluckman, J., Nicol, D.: Distributed state-space generation of discrete-state stochastic models. INFORMS J. Comp.\u00a010(1), 82\u201393 (1998)","journal-title":"INFORMS J. Comp."},{"key":"3_CR53","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1006\/jpdc.1997.1409","volume":"47","author":"G. Ciardo","year":"1997","unstructured":"Ciardo, G.: Automated parallelization of discrete state-space generation. J. Parallel Distrib. Comput.\u00a047, 153\u2013167 (1997)","journal-title":"J. Parallel Distrib. Comput."},{"key":"3_CR54","doi-asserted-by":"publisher","first-page":"410","DOI":"10.1007\/s100090050046","volume":"2","author":"A. Cimatti","year":"2000","unstructured":"Cimatti, A., Clarke, E., Giunchiglia, F., Roveri, M.: NuSMV: a new symbolic model checker. J. Softw. Tools Technol. Transf.\u00a02, 410\u2013425 (2000)","journal-title":"J. Softw. Tools Technol. Transf."},{"key":"3_CR55","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/3-540-45657-0_29","volume-title":"Computer Aided Verification","author":"A. Cimatti","year":"2002","unstructured":"Cimatti, A., Clarke, E., Giunchiglia, E., Giunchiglia, F., 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, pp. 359\u2013364. Springer, Heidelberg (2002)"},{"issue":"33-34","key":"3_CR56","doi-asserted-by":"publisher","first-page":"3065","DOI":"10.1016\/j.tcs.2009.02.037","volume":"410","author":"F. Ciocchetta","year":"2009","unstructured":"Ciocchetta, F., Hillston, J.: Bio-PEPA: A framework for the modelling and analysis of biological systems. Theor. Comput. Sci.\u00a0410(33-34), 3065\u20133084 (2009)","journal-title":"Theor. Comput. Sci."},{"issue":"2","key":"3_CR57","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E.M. Clarke","year":"1986","unstructured":"Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans. Program. Lang. Syst.\u00a08(2), 244\u2013263 (1986)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"1-2","key":"3_CR58","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/BF00625969","volume":"9","author":"E.M. Clarke","year":"1996","unstructured":"Clarke, E.M., Enders, R., Filkorn, T., Jha, S.: Exploiting symmetry in temporal logic model checking. Form. Methods Syst. Des.\u00a09(1-2), 77\u2013104 (1996)","journal-title":"Form. Methods Syst. Des."},{"key":"3_CR59","unstructured":"Clarke Jr., E.M., Grumberg, O., Peled, D.A.: Model checking. MIT Press (1999)"},{"key":"3_CR60","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-24372-1_1","volume-title":"Automated Technology for Verification and Analysis","author":"E.M. Clarke","year":"2011","unstructured":"Clarke, E.M., Zuliani, P.: Statistical Model Checking for Cyber-Physical Systems. In: Bultan, T., Hsiung, P.-A. (eds.) ATVA 2011. LNCS, vol.\u00a06996, pp. 1\u201312. Springer, Heidelberg (2011)"},{"key":"3_CR61","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/3-540-44577-3_12","volume-title":"Informatics","author":"E. Clarke","year":"2001","unstructured":"Clarke, E., Grumberg, O., Jha, S., Lu, Y., Veith, H.: Progress on the State Explosion Problem in Model Checking. In: Wilhelm, R. (ed.) Informatics: 10 Years Back, 10 Years Ahead. LNCS, vol.\u00a02000, pp. 176\u2013194. Springer, Heidelberg (2001)"},{"key":"3_CR62","doi-asserted-by":"crossref","unstructured":"Collins, P., Habets, L.C., van Schuppen, J.H., \u010cern\u00e1, I., Fabrikov\u00e1, J., \u0160afr\u00e1nek, D.: Abstraction of biochemical reaction systems on polytopes. In: Proceedings of the 18th IFAC World Congress, vol.\u00a018, pp. 14869\u201314875 (2011)","DOI":"10.3182\/20110828-6-IT-1002.03317"},{"key":"3_CR63","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/BF00121128","volume":"1","author":"C. Courcoubetis","year":"1992","unstructured":"Courcoubetis, C., Vardi, M., Wolper, P., Yannakakis, M.: Memory-Efficient Algorithms for the Verification of Temporal Properties. Formal Methods in System Design\u00a01, 275\u2013288 (1992)","journal-title":"Formal Methods in System Design"},{"issue":"4","key":"3_CR64","doi-asserted-by":"publisher","first-page":"857","DOI":"10.1145\/210332.210339","volume":"42","author":"C. Courcoubetis","year":"1995","unstructured":"Courcoubetis, C., Yannakakis, M.: The complexity of probabilistic verification. J. ACM\u00a042(4), 857\u2013907 (1995)","journal-title":"J. ACM"},{"issue":"1","key":"3_CR65","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1186\/1752-0509-3-89","volume":"3","author":"A. Crudu","year":"2009","unstructured":"Crudu, A., Debussche, A., Radulescu, O.: Hybrid stochastic simplifications for multiscale gene networks. BMC Systems Biology\u00a03(1), 89 (2009)","journal-title":"BMC Systems Biology"},{"key":"3_CR66","unstructured":"NVIDIA CUDA Compute Unified Device Architecture - Programming Guide Version 2.0, (2009), http:\/\/www.nvidia.com\/object\/cuda_develop.html"},{"issue":"21","key":"3_CR67","doi-asserted-by":"publisher","first-page":"2095","DOI":"10.1016\/j.tcs.2011.01.014","volume":"412","author":"T. Dang","year":"2011","unstructured":"Dang, T., Guernic, C.L., Maler, O.: Computing reachable states for nonlinear biological models. Theor. Comput. Sci.\u00a0412(21), 2095\u20132107 (2011)","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"3_CR68","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. Theor. Comput. Sci.\u00a0325(1), 69\u2013110 (2004)","journal-title":"Theor. Comput. Sci."},{"key":"3_CR69","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1214\/07-PS121","volume":"5","author":"R. Darling","year":"2008","unstructured":"Darling, R., Norris, J.: Differential equation approximations for markov chains. Probab. Surveys\u00a05, 37\u201379 (2008)","journal-title":"Probab. Surveys"},{"key":"3_CR70","doi-asserted-by":"crossref","unstructured":"David, A., Du, D., Larsen, K.G., Legay, A., Mikucionis, M., Poulsen, D.B., Sedwards, S.: Statistical model checking for stochastic hybrid systems. In: Hybrid Systems and Biology (HSB). EPTCS, vol.\u00a092, pp. 122\u2013136 (2012)","DOI":"10.4204\/EPTCS.92.9"},{"volume-title":"Finite State Markovian Decision Processes","year":"1970","author":"C. Derman","key":"3_CR71","unstructured":"Derman, C.: Finite State Markovian Decision Processes. Academic Press, Inc., Orlando (1970)"},{"key":"3_CR72","doi-asserted-by":"crossref","unstructured":"Didier, F., Henzinger, T.A., Mateescu, M., Wolf, V.: Fast Adaptive Uniformization for the Chemical Master Equation. In: Parallel and Distributed Methods in Verification and High Performance Computational Systems Biology (HiBi\/PDMC 2009), pp. 118\u2013127. IEEE Computer Society (2009)","DOI":"10.1109\/HiBi.2009.23"},{"key":"3_CR73","doi-asserted-by":"crossref","unstructured":"Didier, F., Henzinger, T.A., Mateescu, M., Wolf, V.: Sabre: A tool for stochastic analysis of biochemical reaction networks. CoRR abs\/1005.2819 (2010)","DOI":"10.1109\/QEST.2010.33"},{"key":"3_CR74","doi-asserted-by":"crossref","unstructured":"Dluho\u0161, P., Brim, L., \u0160afr\u00e1nek, D.: On expressing and monitoring oscillatory dynamics. In: Hybrid Systems and Biology (HSB). EPTCS, vol.\u00a092, pp. 73\u201387 (2012)","DOI":"10.4204\/EPTCS.92.6"},{"issue":"3","key":"3_CR75","first-page":"271","volume":"4","author":"A. Doi","year":"2004","unstructured":"Doi, A., Fujita, S., Matsuno, H., Nagasaki, M., Miyano, S.: Constructing Biological Pathway Models with Hybrid Functional Petri Nets. In Silico Biology\u00a04(3), 271\u2013291 (2004)","journal-title":"In Silico Biology"},{"key":"3_CR76","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/978-3-642-14295-6_17","volume-title":"Computer Aided Verification","author":"A. Donz\u00e9","year":"2010","unstructured":"Donz\u00e9, A.: Breach, a toolbox for verification and parameter synthesis of hybrid systems. In: Touili, T., Cook, B., Jackson, P. (eds.) CAV 2010. LNCS, vol.\u00a06174, pp. 167\u2013170. Springer, Heidelberg (2010)"},{"issue":"3","key":"3_CR77","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1089\/cmb.2009.0172","volume":"17","author":"A. Donz\u00e9","year":"2010","unstructured":"Donz\u00e9, A., Clermont, G., Langmead, C.J.: Parameter synthesis in nonlinear dynamical systems: Application to systems biology. Journal of Computational Biology\u00a017(3), 325\u2013336 (2010)","journal-title":"Journal of Computational Biology"},{"key":"3_CR78","unstructured":"Edelkamp, S., Sulewski, D.: Parallel State Space Search on the GPU (2009), symposium on Combinatorial Search (SoCS)"},{"key":"3_CR79","unstructured":"Eker, S., Knapp, M., Laderoute, K., Lincoln, P., Meseguer, J., Sonmez, K.: Pathway logic: Symbolic analysis of biological signaling. In: Pacific Symposium on Biocomputing, pp. 400\u2013412 (2002)"},{"issue":"15","key":"3_CR80","doi-asserted-by":"publisher","first-page":"691","DOI":"10.1002\/rnc.1018","volume":"15","author":"H. Samad El","year":"2005","unstructured":"El Samad, H., Khammash, M., Petzold, L., Gillespie, D.: Stochastic Modelling of Gene Regulatory Networks. Int. J. of Robust and Nonlinear Control\u00a015(15), 691\u2013711 (2005)","journal-title":"Int. J. of Robust and Nonlinear Control"},{"issue":"1-2","key":"3_CR81","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/BF00625970","volume":"9","author":"E.A. Emerson","year":"1996","unstructured":"Emerson, E.A., Sistla, A.P.: Symmetry and model checking. Form. Methods Syst. Des.\u00a09(1-2), 105\u2013131 (1996)","journal-title":"Form. Methods Syst. Des."},{"issue":"12","key":"3_CR82","doi-asserted-by":"publisher","first-page":"123014","DOI":"10.1088\/0266-5611\/25\/12\/123014","volume":"25","author":"H.W. Engl","year":"2009","unstructured":"Engl, H.W., Flamm, C., K\u00fcgler, P., Lu, J., M\u00fcller, S., Schuster, P.: Inverse problems in systems biology. Inverse Problems\u00a025(12), 123014 (2009)","journal-title":"Inverse Problems"},{"key":"3_CR83","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/978-3-540-73368-3_31","volume-title":"Computer Aided Verification","author":"J. Ezekiel","year":"2007","unstructured":"Ezekiel, J., L\u00fcttgen, G., Ciardo, G.: Parallelising symbolic state-space generators. In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol.\u00a04590, pp. 268\u2013280. Springer, Heidelberg (2007)"},{"key":"3_CR84","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/978-3-540-68894-5_3","volume-title":"Formal Methods for Computational Systems Biology","author":"F. Fages","year":"2008","unstructured":"Fages, F., Soliman, S.: Formal cell biology in Biocham. In: Bernardo, M., Degano, P., Zavattaro, G. (eds.) SFM 2008. LNCS, vol.\u00a05016, pp. 54\u201380. Springer, Heidelberg (2008)"},{"issue":"2","key":"3_CR85","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., Rivier, C.N.: Modelling and querying interaction networks in the biochemical abstract machine BIOCHAM. Journal of Biological Physics and Chemistry\u00a04(2), 64\u201373 (2004)","journal-title":"Journal of Biological Physics and Chemistry"},{"issue":"1","key":"3_CR86","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/j.tcs.2008.07.004","volume":"408","author":"F. Fages","year":"2008","unstructured":"Fages, F., Rizk, A.: On temporal logic constraint solving for analyzing numerical data time series. Theor. Comput. Sci.\u00a0408(1), 55\u201365 (2008)","journal-title":"Theor. Comput. Sci."},{"issue":"11","key":"3_CR87","doi-asserted-by":"publisher","first-page":"1239","DOI":"10.1038\/nbt1356","volume":"25","author":"J. Fisher","year":"2007","unstructured":"Fisher, J., Henzinger, T.A.: Executable cell biology. Nature Biotechnology\u00a025(11), 1239\u20131249 (2007)","journal-title":"Nature Biotechnology"},{"key":"3_CR88","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/978-3-642-21455-4_3","volume-title":"Formal Methods for Eternal Networked Software Systems","author":"V. Forejt","year":"2011","unstructured":"Forejt, V., Kwiatkowska, M., Norman, G., Parker, D.: Automated verification techniques for probabilistic systems. In: Bernardo, M., Issarny, V. (eds.) SFM 2011. LNCS, vol.\u00a06659, pp. 53\u2013113. Springer, Heidelberg (2011)"},{"issue":"1","key":"3_CR89","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1186\/1752-0509-4-79","volume":"4","author":"J. Fromentin","year":"2010","unstructured":"Fromentin, J., Eveillard, D., Roux, O.: Hybrid modeling of biological networks: mixing temporal and qualitative biological properties. BMC Systems Biology\u00a04(1), 79 (2010)","journal-title":"BMC Systems Biology"},{"key":"3_CR90","first-page":"33","volume":"218","author":"V. Galpin","year":"2008","unstructured":"Galpin, V., Hillston, J., Bortolussi, L.: HYPE Applied to the Modelling of Hybrid Biological Systems. ENTCS\u00a0218, 33\u201351 (2008)","journal-title":"ENTCS"},{"key":"3_CR91","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/978-3-540-73368-3_18","volume-title":"Computer Aided Verification","author":"H. Garavel","year":"2007","unstructured":"Garavel, H., Mateescu, R., Lang, F., Serwe, W.: CADP 2006: A toolbox for the construction and analysis of distributed processes. In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol.\u00a04590, pp. 158\u2013163. Springer, Heidelberg (2007)"},{"key":"3_CR92","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/3-540-45139-0_14","volume-title":"Model Checking Software","author":"H. Garavel","year":"2001","unstructured":"Garavel, H., Mateescu, R., Smarandache, I.: Parallel State Space Construction for Model-Checking. In: Dwyer, M.B. (ed.) SPIN 2001. LNCS, vol.\u00a02057, pp. 217\u2013234. Springer, Heidelberg (2001)"},{"key":"3_CR93","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1007\/3-540-48234-2_2","volume-title":"Theoretical and Practical Aspects of SPIN Model Checking","author":"J. Geldenhuys","year":"1999","unstructured":"Geldenhuys, J., de Villiers, P.J.A.: Runtime efficient state compaction in SPIN. In: Dams, D.R., Gerth, R., Leue, S., Massink, M. (eds.) SPIN 1999. LNCS, vol.\u00a01680, pp. 12\u201321. Springer, Heidelberg (1999)"},{"issue":"25","key":"3_CR94","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(25), 2340\u20132381 (1977)","journal-title":"Journal of Physical Chemistry"},{"issue":"1-3","key":"3_CR95","doi-asserted-by":"publisher","first-page":"404","DOI":"10.1016\/0378-4371(92)90283-V","volume":"188","author":"D.T. Gillespie","year":"1992","unstructured":"Gillespie, D.T.: A rigorous derivation of the chemical master equation. Physica A: Statistical Mechanics and its Applications\u00a0188(1-3), 404\u2013425 (1992)","journal-title":"Physica A: Statistical Mechanics and its Applications"},{"issue":"1","key":"3_CR96","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1146\/annurev.physchem.58.032806.104637","volume":"58","author":"D.T. Gillespie","year":"2007","unstructured":"Gillespie, D.T.: Stochastic Simulation of Chemical Kinetics. Annual Review of Physical Chemistry\u00a058(1), 35\u201355 (2007)","journal-title":"Annual Review of Physical Chemistry"},{"key":"3_CR97","unstructured":"Goethem, S.V., Jacquet, J.M., Brim, L., \u0160afr\u00e1nek, D.: Timed modelling of gene networks with arbitrary expression level discretization. In: Interactions between Computer Science and Biology. ENTCS. Elsevier (in press, 2013)"},{"key":"3_CR98","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/978-3-540-45069-6_5","volume-title":"Computer Aided Verification","author":"O. Grumberg","year":"2003","unstructured":"Grumberg, O., Heyman, T., Schuster, A.: A work-efficient distributed algorithm for reachability analysis. In: Hunt Jr., W.A., Somenzi, F. (eds.) CAV 2003. LNCS, vol.\u00a02725, pp. 54\u201366. Springer, Heidelberg (2003)"},{"issue":"1","key":"3_CR99","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/j.automatica.2003.08.001","volume":"40","author":"L. Habets","year":"2004","unstructured":"Habets, L., van Schuppen, J.H.: A control problem for affine dynamical systems on a full-dimensional polytope. Automatica\u00a040(1), 21\u201335 (2004)","journal-title":"Automatica"},{"key":"3_CR100","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_CR101","unstructured":"Haverkort, B.R., Bell, A., Bohnenkamp, H.C.: On the efficient sequential and distributed generation of very large Markov chains from stochastic Petri nets. In: Petri Net and Performance Models (PNPM), pp. 12\u201321. IEEE Computer Society Press (1999)"},{"issue":"3","key":"3_CR102","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1016\/j.tcs.2007.11.013","volume":"319","author":"J. Heath","year":"2008","unstructured":"Heath, J., Kwiatkowska, M., Norman, G., Parker, D., Tymchyshyn, O.: Probabilistic model checking of complex biological pathways. Theoretical Computer Science\u00a0319(3), 239\u2013257 (2008)","journal-title":"Theoretical Computer Science"},{"key":"3_CR103","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/978-3-540-68894-5_7","volume-title":"Formal Methods for Computational Systems Biology","author":"M. Heiner","year":"2008","unstructured":"Heiner, M., Gilbert, D., Donaldson, R.: Petri nets for systems and synthetic biology. In: Bernardo, M., Degano, P., Zavattaro, G. (eds.) SFM 2008. LNCS, vol.\u00a05016, pp. 215\u2013264. Springer, Heidelberg (2008)"},{"key":"3_CR104","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1007\/3-540-46002-0_26","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"K. Heljanko","year":"2002","unstructured":"Heljanko, K., Khomenko, V., Koutny, M.: Parallelisation of the Petri Net Unfolding Algorithm. In: Katoen, J.-P., Stevens, P. (eds.) TACAS 2002. LNCS, vol.\u00a02280, pp. 371\u2013385. Springer, Heidelberg (2002)"},{"key":"3_CR105","unstructured":"Henzinger, T.: The theory of hybrid automata. In: Logic in Computer Science (LICS), pp. 278 \u2013292. IEEE Computer Society (1996)"},{"key":"3_CR106","doi-asserted-by":"crossref","unstructured":"Henzinger, T.A., Kopke, P.W., Puri, A., Varaiya, P.: What\u2019s decidable about hybrid automata? In: Proceedings of the Twenty-Seventh Annual ACM Symposium on Theory of Computing, pp. 373\u2013382. ACM (1995)","DOI":"10.1145\/225058.225162"},{"key":"3_CR107","unstructured":"Holzmann, G.J.: The Spin Model Checker: Primer and Reference Manual. Addison-Wesley (2003)"},{"issue":"1","key":"3_CR108","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.entcs.2007.10.017","volume":"198","author":"G.J. Holzmann","year":"2008","unstructured":"Holzmann, G.J.: A Stack-Slicing Algorithm for Multi-Core Model Checking. Electonic Notes in Theoretical Computer Science\u00a0198(1), 3\u201316 (2008)","journal-title":"Electonic Notes in Theoretical Computer Science"},{"issue":"10","key":"3_CR109","doi-asserted-by":"publisher","first-page":"659","DOI":"10.1109\/TSE.2007.70724","volume":"33","author":"G.J. Holzmann","year":"2007","unstructured":"Holzmann, G.J., Bosnacki, D.: The design of a multicore extension of the spin model checker. IEEE Trans. Software Eng.\u00a033(10), 659\u2013674 (2007)","journal-title":"IEEE Trans. Software Eng."},{"key":"3_CR110","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/BF00251225","volume":"47","author":"F. Horn","year":"1972","unstructured":"Horn, F., Jackson, R.: General mass action kinetics. Archive for Rational Mechanics and Analysis\u00a047, 81\u2013116 (1972), doi:10.1007\/BF00251225","journal-title":"Archive for Rational Mechanics and Analysis"},{"issue":"3","key":"3_CR111","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1016\/j.entcs.2004.10.022","volume":"128","author":"C.P. Inggs","year":"2005","unstructured":"Inggs, C.P., Barringer, H.: CTL* Model Checking on a Shared-Memory Architecture. Electronic Notes in Theoretical Computer Science\u00a0128(3), 107\u2013123 (2005)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"3_CR112","unstructured":"Iyengar, M.S.: Symbolic Systems Biology: Theory and Methods. Jones & Bartlett Publishers (2010)"},{"issue":"6","key":"3_CR113","first-page":"903","volume":"124","author":"G. Jayachandran","year":"2006","unstructured":"Jayachandran, G., Vishal, V., Pande, V.S.: Using massively parallel simulations and Markovian models to study protein folding: examining the villin head-piece. Journal of Chemical Physics\u00a0124(6), 903\u2013914 (2006)","journal-title":"Journal of Chemical Physics"},{"key":"3_CR114","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1007\/978-3-642-03845-7_15","volume-title":"Computational Methods in Systems Biology","author":"S.K. Jha","year":"2009","unstructured":"Jha, S.K., Clarke, E.M., Langmead, C.J., Legay, A., Platzer, A., Zuliani, P.: A bayesian approach to model checking biological systems. In: Degano, P., Gorrieri, R. (eds.) CMSB 2009. LNCS, vol.\u00a05688, pp. 218\u2013234. Springer, Heidelberg (2009)"},{"issue":"1","key":"3_CR115","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1089\/10665270252833208","volume":"9","author":"H. Jong de","year":"2002","unstructured":"de Jong, H.: Modeling and Simulation of Genetic Regulatory Systems: A Literature Review. Journal of Computational Biology\u00a09(1), 67\u2013103 (2002)","journal-title":"Journal of Computational Biology"},{"key":"3_CR116","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1016\/j.bulm.2003.08.010","volume":"66","author":"H. Jong de","year":"2004","unstructured":"de Jong, H., Gouz\u00e9, J., Hernandez, C., Page, M., Sari, T., Geiselmann, J.: Qualitative simulations of genetic regulatory networks using piecewise linear models. Bull. Math. Biol.\u00a066, 301\u2013340 (2004)","journal-title":"Bull. Math. Biol."},{"issue":"11","key":"3_CR117","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/368996.369025","volume":"5","author":"A.B. Kahn","year":"1962","unstructured":"Kahn, A.B.: Topological sorting of large networks. Commun. ACM\u00a05(11), 558\u2013562 (1962)","journal-title":"Commun. ACM"},{"key":"3_CR118","doi-asserted-by":"crossref","unstructured":"Keener, J.P., Sneyd, J.: Mathematical Physiology. Springer (1998)","DOI":"10.1007\/b98841"},{"issue":"5690","key":"3_CR119","doi-asserted-by":"publisher","first-page":"1587","DOI":"10.1126\/science.1101952","volume":"305","author":"S. Khademi","year":"2004","unstructured":"Khademi, S., O\u2019Connell III, J., Remis, J., Robles-Colmenares, Y., Miercke, L., Stroud, R.: Mechanism of ammonia transport by Amt\/MEP\/Rh: Structure of AmtB at 1.35. Science\u00a0305(5690), 1587\u20131594 (2004)","journal-title":"Science"},{"key":"3_CR120","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1038\/nrm1838","volume":"7","author":"B.N. Kholodenko","year":"2006","unstructured":"Kholodenko, B.N.: Cell-signalling dynamics in time and space. Nature Molecular Cell Biology\u00a07, 165\u2013176 (2006)","journal-title":"Nature Molecular Cell Biology"},{"key":"3_CR121","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/978-3-642-33636-2_13","volume-title":"Computational Methods in Systems Biology","author":"H. Klarner","year":"2012","unstructured":"Klarner, H., Streck, A., \u0160afr\u00e1nek, D., Kol\u010d\u00e1k, J., Siebert, H.: Parameter identification and model ranking of thomas networks. In: Gilbert, D., Heiner, M. (eds.) CMSB 2012. LNCS, vol.\u00a07605, pp. 207\u2013226. Springer, Heidelberg (2012)"},{"key":"3_CR122","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/3-540-68061-6_14","volume-title":"Computer Performance Evaluation","author":"W. Knottenbelt","year":"1998","unstructured":"Knottenbelt, W., Mestern, M., Harrison, P., Kritzinger, P.: Probability, parallelism and the state space exploration problem. In: Puigjaner, R., Savino, N.N., Serra, B. (eds.) TOOLS 1998. LNCS, vol.\u00a01469, pp. 165\u2013179. Springer, Heidelberg (1998)"},{"key":"3_CR123","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/BF01995674","volume":"2","author":"R. Koymans","year":"1990","unstructured":"Koymans, R.: Specifying real-time properties with metric temporal logic. Real-Time Systems\u00a02, 255\u2013299 (1990)","journal-title":"Real-Time Systems"},{"key":"3_CR124","doi-asserted-by":"crossref","unstructured":"Kumar, R., Mercer, E.G.: Load Balancing Parallel Explicit State Model Checking. In: Parallel and Distributed Methods in Verification (PDMC). ENTCS, vol. 128, pp. 19\u201334. Elsevier (2005)","DOI":"10.1016\/j.entcs.2004.10.016"},{"key":"3_CR125","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","volume-title":"Computer Aided Verification","author":"M. Kwiatkowska","year":"2011","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: Verification of probabilistic real-time systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol.\u00a06806, pp. 585\u2013591. Springer, Heidelberg (2011)"},{"key":"3_CR126","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/978-3-540-72522-0_6","volume-title":"Formal Methods for Performance Evaluation","author":"M. Kwiatkowska","year":"2007","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: Stochastic model checking. In: Bernardo, M., Hillston, J. (eds.) SFM 2007. LNCS, vol.\u00a04486, pp. 220\u2013270. Springer, Heidelberg (2007)"},{"issue":"4","key":"3_CR127","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1145\/1364644.1364651","volume":"35","author":"M.Z. Kwiatkowska","year":"2008","unstructured":"Kwiatkowska, M.Z., Norman, G., Parker, D.: Using probabilistic model checking in systems biology. SIGMETRICS Performance Evaluation Review\u00a035(4), 14\u201321 (2008)","journal-title":"SIGMETRICS Performance Evaluation Review"},{"key":"3_CR128","unstructured":"Laarman, A., van de Pol, J., Weber, M.: Boosting Multi-Core Reachability Performance with Shared Hash Tables. In: Formal Methods in Computer-Aided Design (FMCAD), pp. 247\u2013255. IEEE Computer Science (2010)"},{"key":"3_CR129","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/3-540-48234-2_3","volume-title":"Theoretical and Practical Aspects of SPIN Model Checking","author":"F. Lerda","year":"1999","unstructured":"Lerda, F., Sisto, R.: Distributed-memory Model Checking with SPIN. In: Dams, D.R., Gerth, R., Leue, S., Massink, M. (eds.) SPIN 1999. LNCS, vol.\u00a01680, pp. 22\u201339. Springer, Heidelberg (1999)"},{"key":"3_CR130","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1007\/3-540-45139-0_6","volume-title":"Model Checking Software","author":"F. Lerda","year":"2001","unstructured":"Lerda, F., Visser, W.: Addressing Dynamic Issues of Program Model Checking. In: Dwyer, M.B. (ed.) SPIN 2001. LNCS, vol.\u00a02057, pp. 80\u2013102. Springer, Heidelberg (2001)"},{"issue":"3","key":"3_CR131","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1016\/j.jbiotec.2009.09.003","volume":"144","author":"H. Ma","year":"2009","unstructured":"Ma, H., Boogerd, F., Goryanin, I.: Modelling nitrogen assimilation of Escherichia coli at low ammonium concentration. Journal of Biotechnology\u00a0144(3), 175\u2013183 (2009)","journal-title":"Journal of Biotechnology"},{"key":"3_CR132","doi-asserted-by":"crossref","unstructured":"Madsen, C., Myers, C., Roehner, N., Winstead, C., Zhang, Z.: Utilizing Stochastic Model Checking to Analyze Genetic Circuits. In: IEEE Symposium on Computational Intelligence in Bioinformatics and Computational Biology (CIBCB), pp. 379\u2013386 (2012)","DOI":"10.1109\/CIBCB.2012.6217255"},{"key":"3_CR133","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-540-68413-8_6","volume-title":"Formal Methods in Systems Biology","author":"O. Maler","year":"2008","unstructured":"Maler, O., Batt, G.: Approximating continuous systems by timed automata. In: Fisher, J. (ed.) FMSB 2008. LNCS (LNBI), vol.\u00a05054, pp. 77\u201389. Springer, Heidelberg (2008)"},{"key":"3_CR134","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/978-3-540-30206-3_12","volume-title":"Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems","author":"O. Maler","year":"2004","unstructured":"Maler, O., Nickovic, D.: Monitoring temporal properties of continuous signals. In: Lakhnech, Y., Yovine, S. (eds.) FORMATS 2004 and FTRTFT 2004. LNCS, vol.\u00a03253, pp. 152\u2013166. Springer, Heidelberg (2004)"},{"key":"3_CR135","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1007\/978-3-540-78127-1_26","volume-title":"Pillars of Computer Science","author":"O. Maler","year":"2008","unstructured":"Maler, O., Nickovic, D., Pnueli, A.: Checking temporal properties of discrete, timed and continuous behaviors. In: Avron, A., Dershowitz, N., Rabinovich, A. (eds.) Pillars of Computer Science. LNCS, vol.\u00a04800, pp. 475\u2013505. Springer, Heidelberg (2008)"},{"issue":"26","key":"3_CR136","doi-asserted-by":"publisher","first-page":"2854","DOI":"10.1016\/j.tcs.2010.05.009","volume":"412","author":"R. Mateescu","year":"2011","unstructured":"Mateescu, R., Monteiro, P.T., Dumas, E., de Jong, H.: CTRL: Extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks. Theoretical Computer Science\u00a0412(26), 2854\u20132883 (2011)","journal-title":"Theoretical Computer Science"},{"key":"3_CR137","unstructured":"Melham, T., Bard, J., Werner, E., Noble, D.: Conceptual foundations of systems biology. Prog. Biophys. Mol. Biol. (2012)"},{"key":"3_CR138","doi-asserted-by":"crossref","unstructured":"Merrill, D., Garland, M., Grimshaw, A.: Scalable GPU Graph Traversal. In: ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP), pp. 117\u2013128. ACM (2012)","DOI":"10.1145\/2370036.2145832"},{"key":"3_CR139","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/978-3-642-03240-0_7","volume-title":"Formal Methods for Industrial Critical Systems","author":"R. Pel\u00e1nek","year":"2009","unstructured":"Pel\u00e1nek, R.: Fighting State Space Explosion: Review and Evaluation. In: Cofer, D., Fantechi, A. (eds.) FMICS 2008. LNCS, vol.\u00a05596, pp. 37\u201352. Springer, Heidelberg (2009)"},{"key":"3_CR140","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/BFb0028727","volume-title":"Computer Aided Verification","author":"D. Peled","year":"1998","unstructured":"Peled, D.: Ten years of partial order reduction. In: Vardi, M.Y. (ed.) CAV 1998. LNCS, vol.\u00a01427, pp. 17\u201328. Springer, Heidelberg (1998)"},{"key":"3_CR141","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/978-3-540-75140-3_13","volume-title":"Computational Methods in Systems Biology","author":"A. Phillips","year":"2007","unstructured":"Phillips, A., Cardelli, L.: Efficient, correct simulation of biological processes in the stochastic \u03c0-calculus. In: Calder, M., Gilmore, S. (eds.) CMSB 2007. LNCS (LNBI), vol.\u00a04695, pp. 184\u2013199. Springer, Heidelberg (2007)"},{"issue":"1","key":"3_CR142","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/0304-3975(81)90110-9","volume":"13","author":"A. Pnueli","year":"1981","unstructured":"Pnueli, A.: The temporal semantics of concurrent programs. Theoretical Computer Science\u00a013(1), 45\u201360 (1981)","journal-title":"Theoretical Computer Science"},{"issue":"1-3","key":"3_CR143","first-page":"149","volume":"67","author":"L. Popova-Zeugmann","year":"2005","unstructured":"Popova-Zeugmann, L., Heiner, M., Koch, I.: Time Petri Nets for Modelling and Analysis of Biochemical Networks. Fundam. Inform.\u00a067(1-3), 149\u2013162 (2005)","journal-title":"Fundam. Inform."},{"issue":"5","key":"3_CR144","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1145\/1506409.1506427","volume":"52","author":"C. Priami","year":"2009","unstructured":"Priami, C.: Algorithmic systems biology. Commun. ACM\u00a052(5), 80\u201388 (2009)","journal-title":"Commun. ACM"},{"key":"3_CR145","unstructured":"Regev, A., Silverman, W., Shapiro, E.Y.: Representation and Simulation of Biochemical Processes Using the \u03c0-Calculus Process Algebra. In: Pacific Symposium on Biocomputing, pp. 459\u2013470 (2001)"},{"issue":"5","key":"3_CR146","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1016\/0020-0190(85)90024-9","volume":"20","author":"J. Reif","year":"1985","unstructured":"Reif, J.: Depth-first Search is Inherently Sequential. Information Proccesing Letters\u00a020(5), 229\u2013234 (1985)","journal-title":"Information Proccesing Letters"},{"key":"3_CR147","doi-asserted-by":"crossref","unstructured":"Rizk, A., Batt, G., Fages, F., Soliman, S.: A general computational method for robustness analysis with applications to synthetic gene networks. Bioinformatics 25(12) (2009)","DOI":"10.1093\/bioinformatics\/btp200"},{"key":"3_CR148","doi-asserted-by":"crossref","unstructured":"Satish, N., Harris, M., Garland, M.: Designing efficient sorting algorithms for manycore gpus. In: IEEE International Parallel & Distributed Processing Symposium (IPDPS), pp. 1\u201310. IEEE Computer Society (2009)","DOI":"10.1109\/IPDPS.2009.5161005"},{"issue":"1","key":"3_CR149","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1186\/1752-0509-1-4","volume":"1","author":"M. Schaub","year":"2007","unstructured":"Schaub, M., Henzinger, T., Fisher, J.: Qualitative networks: a symbolic approach to analyze biological signaling networks. BMC Systems Biology\u00a01(1), 4 (2007)","journal-title":"BMC Systems Biology"},{"key":"3_CR150","doi-asserted-by":"crossref","unstructured":"Schivo, D.S., Scholma, J., Wanders, B., Urquidi Camacho, R., van der Vet, P., Karperien, H., Langerak, R., van de Pol, J., Post, J.: Modelling biological pathway dynamics with timed automata. In: IEEE International Conference on Bioinformatics and Bioengineering (ICBB), pp. 447\u2013453. IEEE Computer Society (2012)","DOI":"10.1109\/BIBE.2012.6399719"},{"key":"3_CR151","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1007\/978-3-642-03845-7_20","volume-title":"Computational Methods in Systems Biology","author":"M. Schwarick","year":"2009","unstructured":"Schwarick, M., Heiner, M.: CSL model checking of biochemical networks with interval decision diagrams. In: Degano, P., Gorrieri, R. (eds.) CMSB 2009. LNCS, vol.\u00a05688, pp. 296\u2013312. Springer, Heidelberg (2009)"},{"key":"3_CR152","doi-asserted-by":"crossref","unstructured":"Schwarick, M., Rohr, C., Heiner, M.: MARCIE - Model checking and Reachability analysis done effiCIEntly. In: Quantitative Evaluation of SysTems (QEST 2011), pp. 91\u2013100. IEEE Computer Society (2011)","DOI":"10.1109\/QEST.2011.19"},{"key":"3_CR153","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/11885191_12","volume-title":"Computational Methods in Systems Biology","author":"H. Siebert","year":"2006","unstructured":"Siebert, H., Bockmayr, A.: Incorporating time delays into the logical analysis of gene regulatory networks. In: Priami, C. (ed.) CMSB 2006. LNCS (LNBI), vol.\u00a04210, pp. 169\u2013183. Springer, Heidelberg (2006)"},{"issue":"1930","key":"3_CR154","doi-asserted-by":"publisher","first-page":"4995","DOI":"10.1098\/rsta.2010.0211","volume":"368","author":"A. Singh","year":"2010","unstructured":"Singh, A., Hespanha, J.P.: Stochastic hybrid systems for studying biochemical processes. Physical and Engineering Sciences\u00a0368(1930), 4995\u20135011 (2010)","journal-title":"Physical and Engineering Sciences"},{"key":"3_CR155","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1007\/3-540-63166-6_26","volume-title":"Computer Aided Verification","author":"U. Stern","year":"1997","unstructured":"Stern, U., Dill, D.L.: Parallelizing the mur\u03d5 verifier. In: Grumberg, O. (ed.) CAV 1997. LNCS, vol.\u00a01254, pp. 256\u2013267. Springer, Heidelberg (1997)"},{"key":"3_CR156","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1007\/BFb0028743","volume-title":"Computer Aided Verification","author":"U. Stern","year":"1998","unstructured":"Stern, U., Dill, D.L.: Using Magnetic Disk Instead of Main Memory in the Mur\u03d5 Verifier. In: Vardi, M.Y. (ed.) CAV 1998. LNCS, vol.\u00a01427, pp. 172\u2013183. Springer, Heidelberg (1998)"},{"issue":"10","key":"3_CR157","doi-asserted-by":"publisher","first-page":"1506","DOI":"10.1093\/bioinformatics\/bth110","volume":"20","author":"M. Swat","year":"2004","unstructured":"Swat, M., Kel, A., Herzel, H.: Bifurcation analysis of the regulatory modules of the mammalian G1\/S transition. Bioinformatics\u00a020(10), 1506\u20131511 (2004)","journal-title":"Bioinformatics"},{"issue":"2","key":"3_CR158","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1137\/0201010","volume":"1","author":"R. Tarjan","year":"1972","unstructured":"Tarjan, R.: Depth First Search and Linear Graph Algorithms. SIAM Journal on Computing\u00a01(2), 146\u2013160 (1972)","journal-title":"SIAM Journal on Computing"},{"issue":"1","key":"3_CR159","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0022-5193(05)80350-9","volume":"153","author":"R. Thomas","year":"1991","unstructured":"Thomas, R.: Regulatory networks seen as asynchronous automata: A logical description. Journal of Theoretical Biology\u00a0153(1), 1\u201323 (1991)","journal-title":"Journal of Theoretical Biology"},{"key":"3_CR160","unstructured":"Vardi, M.Y., Wolper, P.: An Automata-Theoretic Approach to Automatic Program Verification. In: IEEE Symposium on Logic in Computer Science (LICS), pp. 332\u2013344. IEEE Computer Society Press (1986)"},{"key":"3_CR161","doi-asserted-by":"crossref","unstructured":"Stewart, W.J.: Introduction to the Numerical Solution of Markov Chains. Princeton University Press (1995)","DOI":"10.1515\/9780691223384"},{"issue":"8","key":"3_CR162","doi-asserted-by":"crossref","first-page":"1863","DOI":"10.1101\/gr.1272403","volume":"13","author":"E. Yang","year":"2003","unstructured":"Yang, E., van Nimwegen, E., Zavolan, M., Rajewsky, N., Schroeder, M., Magnasco, M., Darnell, J.E.: Decay Rates of Human mRNAs: Correlation With Functional Characteristics and Sequence Attributes. Genome Research\u00a013(8), 1863\u20131872 (2003)","journal-title":"Genome Research"},{"key":"3_CR163","doi-asserted-by":"crossref","unstructured":"Yang, H.T., Ko, M.S.H.: Stochastic modeling for the expression of a gene regulated by competing transcription factors. PLoS ONE 7(3), e32376 (2012)","DOI":"10.1371\/journal.pone.0032376"},{"key":"3_CR164","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/s100090050009","volume":"1","author":"S. Yovine","year":"1997","unstructured":"Yovine, S.: Kronos: a verification tool for real-time systems. International Journal on Software Tools for Technology Transfer\u00a01, 123\u2013133 (1997)","journal-title":"International Journal on Software Tools for Technology Transfer"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Dynamical Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-38874-3_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,2,24]],"date-time":"2022-02-24T10:21:20Z","timestamp":1645698080000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-38874-3_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642388736","9783642388743"],"references-count":164,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-38874-3_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}
