AP1-mediated Multidrug Resistance in Saccharomyces cerevisiae Requires FLR1 Encoding a Transporter of the Major Facilitator Superfamily, Journal of Biological Chemistry, vol.272, issue.31, pp.19304-19313, 1997. ,
DOI : 10.1074/jbc.272.31.19304
A Pattern Language, p.54, 1977. ,
Model Building and Model Checking for Biochemical Processes, Cell Biochemistry and Biophysics, vol.38, issue.3, pp.271-286, 2003. ,
DOI : 10.1385/CBB:38:3:271
The ForSpec Temporal Logic: A New Temporal Property-Specification Language, Proc. 8th Intl. Conf. on Tools and Algorithms for the Construction and Analysis of Systems, pp.296-211, 2002. ,
DOI : 10.1007/3-540-46002-0_21
Model-checking continuous-time Markov chains, ACM Transactions on Computational Logic, vol.1, issue.1, pp.162-170, 2002. ,
DOI : 10.1145/343369.343402
The carbon assimilation network in E. coli is densely connected and largely sign-determined by directions of metabolic fluxes, PLoS Comput. Biol, p.102, 2010. ,
Studying Irreversible Transitions in a Model of Cell Cycle Regulation, Proc. 3rd Intl. Workshop on Practical Applications of Stochastic Modelling, p.65, 2008. ,
DOI : 10.1016/j.entcs.2009.02.049
Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE, Proc. 1st Intl. Workshop From Biology To Concurrency and Back, p.65, 2007. ,
DOI : 10.1016/j.entcs.2007.12.001
Rule-Based Runtime Verification ,
DOI : 10.1007/978-3-540-24622-0_5
Validation de modèles qualitatifs de réseaux de régulation génique : une méthode basée sur des techniques de vérification formelle, p.56, 2006. ,
Model Checking Genetic Regulatory Networks Using GNA and CADP, Proc. 11th Intl. Workshop on Model Checking of Software, pp.158-163, 2004. ,
DOI : 10.1007/978-3-540-24732-6_12
Symbolic reachability analysis of genetic regulatory networks using discrete abstractions, Automatica, vol.44, issue.4, pp.982-989, 2008. ,
DOI : 10.1016/j.automatica.2007.08.004
URL : https://hal.archives-ouvertes.fr/hal-00319485
Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in Escherichia coli, Bioinformatics, vol.21, issue.Suppl 1, pp.19-28, 2005. ,
DOI : 10.1093/bioinformatics/bti1048
URL : https://hal.archives-ouvertes.fr/hal-00171939
Robustness analysis and tuning of synthetic gene networks, Bioinformatics, vol.23, issue.18, pp.2415-2422, 2007. ,
DOI : 10.1093/bioinformatics/btm362
The Temporal Logic Sugar, Proc. 13th Intl ,
DOI : 10.1007/3-540-44585-4_33
On-the-fly model checking of RCTL formulas ,
DOI : 10.1007/BFb0028744
Application of formal methods to biological regulatory networks: extending Thomas??? asynchronous logical approach with temporal logic, Journal of Theoretical Biology, vol.229, issue.3, pp.339-348, 2004. ,
DOI : 10.1016/j.jtbi.2004.04.003
A Quantitative Approach to Catabolite Repression in Escherichia coli, Journal of Biological Chemistry, vol.281, issue.5, pp.2578-2584, 2006. ,
DOI : 10.1074/jbc.M508090200
The gene regulatory network basis of the ???community effect,??? and analysis of a sea urchin embryo example, Developmental Biology, vol.340, issue.2, p.75, 2009. ,
DOI : 10.1016/j.ydbio.2009.06.007
Stochastic analysis of amino acid substitution in protein synthesis, Proc. 6th Conf. Computational Methods in Systems Biology, pp.367-386, 2008. ,
Model checking of RegCTL, Comput. Artif. Intell, vol.25, issue.36, pp.35-50, 2006. ,
FLR1 gene (ORF YBR008c) is required for benomyl and methotrexate resistance in Saccharomyces cerevisiae and its benomyl???induced expression is dependent on Pdr3 transcriptional regulator, Yeast, vol.15, issue.15, pp.1595-1608, 1999. ,
DOI : 10.1002/(SICI)1097-0061(199911)15:15<1595::AID-YEA484>3.3.CO;2-Y
Graph-Based Algorithms for Boolean Function Manipulation, IEEE Transactions on Computers, vol.35, issue.8, pp.677-691, 1986. ,
DOI : 10.1109/TC.1986.1676819
Derivatives of Regular Expressions, Journal of the ACM, vol.11, issue.4, pp.481-494, 1964. ,
DOI : 10.1145/321239.321249
Analysis of signalling pathways using the PRISM model checker, Proc. 3th Conf. Computational Methods in Systems Biology (CMSB 2005), pp.79-90, 2005. ,
BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge, Bioinformatics, vol.22, issue.14, pp.1805-1807, 2006. ,
DOI : 10.1093/bioinformatics/btl172
URL : https://hal.archives-ouvertes.fr/hal-01431364
Symbolic Model Checking of Biochemical Networks, Proc. 1st Intl, pp.149-162, 2003. ,
DOI : 10.1007/3-540-36481-1_13
Modeling and querying biomolecular interaction networks, Theoretical Computer Science, vol.325, issue.1, pp.25-44, 2004. ,
DOI : 10.1016/j.tcs.2004.03.063
Petri net modelling of biological networks, Briefings in Bioinformatics, vol.8, issue.4, pp.210-219, 2007. ,
DOI : 10.1093/bib/bbm029
Qualitative Petri Net Modelling of Genetic Networks, Transactions on Computational Systems Biology VI, pp.95-112, 2006. ,
DOI : 10.1007/11880646_5
URL : https://hal.archives-ouvertes.fr/hal-00310988
Dynamic modeling of the central carbon metabolism ofEscherichia coli, Biotechnology and Bioengineering, vol.81, issue.1, pp.53-73, 2002. ,
DOI : 10.1002/bit.10288
Integrative Analysis of Cell Cycle Control in Budding Yeast, Molecular Biology of the Cell, vol.15, issue.8, pp.153841-3862, 2004. ,
DOI : 10.1091/mbc.E03-11-0794
Input???output behavior of ErbB signaling pathways as revealed by a mass action model trained against dynamic data, Molecular Systems Biology, vol.110, issue.239 3, 2009. ,
DOI : 10.1016/j.ccr.2006.12.017
Mathematical modeling of the influence of rkip on the erk signaling pathway, Proc. 1st Intl. Workshop Computational Methods in Systems Biology, pp.127-141, 2003. ,
NUSMV: a new symbolic model checker, International Journal on Software Tools for Technology Transfer (STTT), vol.2, issue.4, pp.410-425, 1924. ,
DOI : 10.1007/s100090050046
Expressibility results for linear-time and branchingtime logics, school/workshop, Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, pp.428-437, 1988. ,
Automatic verification of finite-state concurrent systems using temporal logic specifications ,
Model Checking, p.68, 2000. ,
A linear-time model-checking algorithm for the alternation-free modal mu-calculus, Formal Methods in System Design, vol.27, issue.2, pp.121-147, 1993. ,
DOI : 10.1007/BF01383878
New Insights into the Pleiotropic Drug Resistance Network from Genome-Wide Characterization of the YRR1 Transcription Factor Regulation System, Molecular and Cellular Biology, vol.22, issue.8, pp.2642-2649, 2002. ,
DOI : 10.1128/MCB.22.8.2642-2649.2002
CTL??? and ECTL??? as fragments of the modal ??-calculus, Theoretical Computer Science, vol.126, issue.1, pp.77-96, 1994. ,
DOI : 10.1016/0304-3975(94)90269-0
Modeling and simulation of genetic regulatory systems : A literature review ,
Genetic Network Analyzer: qualitative simulation of genetic regulatory networks, Bioinformatics, vol.19, issue.3, pp.336-344, 2003. ,
DOI : 10.1093/bioinformatics/btf851
URL : https://hal.archives-ouvertes.fr/inria-00072325
Search for Steady States of Piecewise-Linear Differential Equation Models of Genetic Regulatory Networks, IEEE/ACM Transactions on Computational Biology and Bioinformatics, vol.5, issue.2, pp.508-522, 2008. ,
DOI : 10.1109/TCBB.2007.70254
URL : https://hal.archives-ouvertes.fr/hal-01178204
Insights into the Mechanisms of Toxicity and Tolerance to the Agricultural Fungicide Mancozeb in Yeast, as Suggested by a Chemogenomic Approach, OMICS: A Journal of Integrative Biology, vol.14, issue.2, p.92, 2010. ,
DOI : 10.1089/omi.2009.0134
Bistability in bacteria, Molecular Microbiology, vol.196, issue.3, pp.564-572, 2006. ,
DOI : 10.1111/j.1365-2958.2005.04659.x
Patterns in property specifications for finite-state verification, Proc. 21st Intl. Conf. Software Engineering (ICSE 1999), pp.411-420, 1999. ,
"Sometimes" and "not never" revisited, Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '83, pp.127-140151, 1983. ,
DOI : 10.1145/567067.567081
Efficient model checking in fragments of the propositional mu-calculus, Proc. 1st Intl. Symposium on Logic in Computer Science (LICS 1986), pp.267-278, 1986. ,
Modalities for model checking: branching time logic strikes back, Science of Computer Programming, vol.8, issue.3, pp.275-306, 1987. ,
DOI : 10.1016/0167-6423(87)90036-0
Propositional dynamic logic of regular programs, Journal of Computer and System Sciences, vol.18, issue.2 ,
DOI : 10.1016/0022-0000(79)90046-1
Executable cell biology, Nature Biotechnology, vol.2034, issue.11, pp.1239-1250, 2007. ,
DOI : 10.1038/nbt1356
Predictive Modeling of Signaling Crosstalk during C. elegans Vulval Development, PLoS Computational Biology, vol.77, issue.5, pp.92-65, 2007. ,
DOI : 0016-6731(1974)077[0071:TGOCE]2.0.CO;2
A detailed predictive model of the mammalian circadian clock, Proc. Natl. Acad. Sci. USA, pp.14806-14811, 2003. ,
DOI : 10.1073/pnas.2036281100
Design Patterns: Elements of Reusable Object-Oriented Software, p.54, 1994. ,
An open software architecture for verification, simulation, and testing, Proc. 1st Intl. Conf. on Tools and Algorithms for the Construction and Analysis of Systems, pp.68-84, 1998. ,
URL : https://hal.archives-ouvertes.fr/inria-00073337
CADP??2006: A Toolbox for the Construction and Analysis of Distributed Processes, Proc. 19th Intl. Conf. on Computer Aided Verification, pp.158-163, 2007. ,
DOI : 10.1007/978-3-540-73368-3_18
URL : https://hal.archives-ouvertes.fr/inria-00189021
CADP??2006: A Toolbox for the Construction and Analysis of Distributed Processes, Proc. 19th Intl. Conf. Computer Aided Verification, pp.158-163, 2007. ,
DOI : 10.1007/978-3-540-73368-3_18
URL : https://hal.archives-ouvertes.fr/inria-00189021
Construction of a genetic toggle switch in Escherichia coli, Nature, vol.403, issue.6767, pp.339-342, 2000. ,
A Unifying Framework for Modelling and Analysing Biochemical Pathways Using Petri Nets, Proc. 5th Conf. Computational Methods in Systems Biology, pp.200-216, 2007. ,
DOI : 10.1007/978-3-540-75140-3_14
The logical analysis of continuous, non-linear biochemical control networks, Journal of Theoretical Biology, vol.39, issue.1, pp.103-129, 1973. ,
DOI : 10.1016/0022-5193(73)90208-7
Positive feedback circuits and adaptive regulations in bacteria, Acta Biotheoretica, vol.49, issue.4, pp.207-218, 2001. ,
DOI : 10.1023/A:1014294120243
Identification of regulatory network topological units coordinating the genome-wide transcriptional response to glucose in Escherichia coli, BMC Microbiology, vol.7, issue.1, pp.53-82, 2007. ,
DOI : 10.1186/1471-2180-7-53
Branching time regular temporal logic for model checking with linear time complexity, Proc. 2nd Intl. Conf. on Computer Aided Verification, pp.253-262, 1990. ,
DOI : 10.1007/BFb0023739
Topology of the global regulatory network of carbon limitation in Escherichia coli, Journal of Biotechnology, vol.132, issue.4, pp.359-374, 2007. ,
DOI : 10.1016/j.jbiotec.2007.08.029
Regulation of gene expression during entry into stationary phase ,
Algebraic laws for nondeterminism and concurrency, Journal of the ACM, vol.32, issue.1 ,
DOI : 10.1145/2455.2460
PRISM: A Tool for Automatic Verification of Probabilistic Systems, Proc. 12th Intl. Conf. on Tools and Algorithms for the Construction and Analysis of Systems, pp.441-444, 2006. ,
DOI : 10.1007/11691372_29
The SPIN Model Checker ? Primer and Reference Manual, p.35, 2003. ,
Morphological and physiological changes during stationary phase, Escherichia coli and Salmonella: Cellular and Molecular Biology, pp.1672-1682, 1996. ,
LOTOS ? a formal description technique based on the temporal ordering of observational behaviour, International Organization for Standardization ? Information Processing Systems ? Open Systems Interconnection, p.48, 1989. ,
Formulating genome-scale kinetic models in the postgenome era, Mol. Syst. Biol, vol.4, issue.171 3, 2008. ,
Model Checking for Managers, Proc. 6th Intl. Workshop on Model Checking of Software, pp.92-107, 1999. ,
DOI : 10.1007/3-540-48234-2_7
Yeast ABC transporters - A tale of sex, stress, drugs and aging, FEBS Letters, vol.400, issue.4, pp.1131-1138, 2006. ,
DOI : 10.1016/j.febslet.2005.12.050
Introduction to Metamathematics. North-Holland, pp.115-120, 1952. ,
Integrative model of the response of yeast to osmotic shock, Nature Biotechnology, vol.53, issue.8, pp.975-982, 2005. ,
DOI : 10.1016/0006-3002(58)90330-5
Application of Petri net theory for modelling and validation of the sucrose breakdown pathway in the potato tuber, Bioinformatics, vol.21, issue.7, pp.1219-1226, 2005. ,
DOI : 10.1093/bioinformatics/bti145
Molecular Interaction Map of the Mammalian Cell Cycle Control and DNA Repair Systems, Molecular Biology of the Cell, vol.10, issue.8, pp.2703-2734, 1999. ,
DOI : 10.1091/mbc.10.8.2703
Results on the Propositional ??-Calculus, DAIMI Report Series, vol.11, issue.146, pp.333-354, 1983. ,
DOI : 10.7146/dpb.v11i146.7420
Catabolite repression in Escherichia???coli- a comparison of modelling approaches, FEBS Journal, vol.230, issue.Suppl., pp.594-602, 2009. ,
DOI : 10.1111/j.1742-4658.2008.06810.x
Semantical Considerations on Modal Logic, Acta Phil. Fennica, vol.16, issue.10, pp.83-94, 1963. ,
DOI : 10.1007/978-3-0346-0145-0_16
An automata-theoretic approach to branching-time model checking, Journal of the ACM, vol.47, issue.2, pp.312-360, 2000. ,
DOI : 10.1145/333979.333987
PRISM: Probabilistic Symbolic Model Checker, Proc. TOOLS 2002, pp.200-204, 2002. ,
DOI : 10.1007/3-540-46029-2_13
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.100.2142
Proving the Correctness of Multiprocess Programs, IEEE Transactions on Software Engineering, vol.3, issue.2, pp.125-143, 1977. ,
DOI : 10.1109/TSE.1977.229904
"Sometime" is sometimes "not never", Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '80 ,
DOI : 10.1145/567446.567463
OPEN 2.0: A flexible tool integrating partial order, compositional, and on-the-fly verification methods, Proc. 5th Intl. Conf. on Integrated Formal Methods, p.48, 2005. ,
URL : https://hal.archives-ouvertes.fr/inria-00070339
Proof systems for Hennessy-Milner logic with recursion, Proc. 13th Colloquium on Trees in Algebra and Programming, pp.215-230, 1988. ,
Toward a detailed computational model for the mammalian circadian clock, Proc. Natl. Acad. Sci. USA, pp.7051-7056, 2003. ,
DOI : 10.1073/pnas.1132112100
The yeast cell-cycle network is robustly designed, Proc. Natl. Acad. Sci. USA, pp.4781-4786, 2004. ,
DOI : 10.1073/pnas.0305937101
Competitive Promoter Occupancy by Two Yeast Paralogous Transcription Factors Controlling the Multidrug Resistance Phenomenon, Journal of Biological Chemistry, vol.278, issue.52, pp.52641-52650, 2003. ,
DOI : 10.1074/jbc.M309580200
Early Expression of Yeast Genes Affected by Chemical Stress, Molecular and Cellular Biology, vol.25, issue.5, pp.1860-1868, 2005. ,
DOI : 10.1128/MCB.25.5.1860-1868.2005
Tools and rules for the practicing verifier, pp.125-159, 1991. ,
The Temporal Logic of Reactive and Concurrent Systems, volume I: Specification, p.60, 1992. ,
Compiling communicating processes into delay-insensitive VLSI circuits, Distributed Computing, vol.20, issue.8, pp.226-234, 1986. ,
DOI : 10.1007/BF01660034
CAESAR_SOLVE: A generic library for on-the-fly resolution of alternation-free Boolean equation systems, International Journal on Software Tools for Technology Transfer, vol.8, issue.1, pp.37-56, 2006. ,
DOI : 10.1007/s10009-005-0194-9
URL : https://hal.archives-ouvertes.fr/inria-00084628
Computation Tree Regular Logic for Genetic Regulatory Networks, Proc. 6th Intl. Symposium on Automated Technology for Verification and Analysis, pp.48-63, 2008. ,
DOI : 10.1007/11691617_8
URL : https://hal.archives-ouvertes.fr/inria-00277995
Efficient on-the-fly model-checking for regular alternation-free mu-calculus, Science of Computer Programming, vol.46, issue.3, pp.255-281, 2003. ,
DOI : 10.1016/S0167-6423(02)00094-1
URL : https://hal.archives-ouvertes.fr/inria-00072755
A Model Checking Language for Concurrent Value-Passing Systems, Proc. 15th Intl. Symposium on Formal Methods, p.50, 2008. ,
DOI : 10.1007/978-3-540-68237-0_12
URL : https://hal.archives-ouvertes.fr/inria-00315312
Symbolic Model Checking, p.22, 1993. ,
The regulatory network underlying the transcriptional up-regulation of the flr1 gene in mancozeb stressed yeast cells: qualitative modeling and simulation, Book of Abstracts of the Congresso Nacional MICRO-BIOTEC, p.92, 2009. ,
Qualitative modeling and formal verification of the flr1 gene mancozeb response in Saccharomyces cerevisiae, BMC Systems Biology, issue.6, 2010. ,
A service-oriented architecture for integrating the modeling and formal verification of genetic regulatory networks, BMC Bioinformatics, vol.10, issue.1, p.450, 2009. ,
DOI : 10.1186/1471-2105-10-450
URL : https://hal.archives-ouvertes.fr/hal-00784446
Temporal logic patterns for querying dynamic models of cellular interaction networks, Bioinformatics, vol.24, issue.16, pp.227-233, 2008. ,
DOI : 10.1093/bioinformatics/btn275
URL : https://hal.archives-ouvertes.fr/inria-00357805
Logical modelling of regulatory networks with GINsim 2.3, Biosystems, vol.97, issue.2, pp.134-139, 2009. ,
DOI : 10.1016/j.biosystems.2009.04.008
Multiple Yap1p-binding Sites Mediate Induction of the Yeast Major Facilitator FLR1 Gene in Response to Drugs, Oxidants, and Alkylating Agents, Journal of Biological Chemistry, vol.276, issue.2, pp.1138-1145, 2001. ,
DOI : 10.1074/jbc.M008377200
The Escherichia coli SOS Gene sbmC Is Regulated by H-NS and RpoS during the SOS Induction and Stationary Growth Phase, Biochemical and Biophysical Research Communications, vol.288, issue.4 ,
DOI : 10.1006/bbrc.2001.5872
Concurrency and automata on infinite sequences, Proc. 5th GI-Conf. on Theoretical Computer Science, pp.167-183, 1981. ,
DOI : 10.1007/BFb0017309
Regulation of Escherichia coli topA gene transcription: involvement of a ??s-dependent promoter, Journal of Molecular Biology, vol.267, issue.3, pp.481-489, 1997. ,
DOI : 10.1006/jmbi.1997.0901
Specification and verification of concurrent systems in CESAR ,
DOI : 10.1007/3-540-11494-7_22
A general computational method for robustness analysis with applications to synthetic gene networks, Bioinformatics, vol.25, issue.12, pp.169-178, 2009. ,
DOI : 10.1093/bioinformatics/btp200
URL : https://hal.archives-ouvertes.fr/inria-00419708
Understanding Glucose Transport by the Bacterial Phosphoenolpyruvate:Glycose Phosphotransferase System on the Basis of Kinetic Measurements in Vitro, Journal of Biological Chemistry, vol.275, issue.45, pp.34909-34921, 2000. ,
DOI : 10.1074/jbc.M002461200
Qualitative simulation of the carbon starvation response in Escherichia coli, Biosystems, vol.84, issue.2, pp.124-152, 2006. ,
DOI : 10.1016/j.biosystems.2005.10.005
URL : https://hal.archives-ouvertes.fr/hal-00171698
Drug:H+ antiporters in chemical stress response in yeast, Trends in Microbiology, vol.17, issue.1, pp.22-31, 2009. ,
DOI : 10.1016/j.tim.2008.09.007
A Logical Model Provides Insights into T Cell Receptor Signaling, PLoS Computational Biology, vol.284, issue.8, p.163, 2007. ,
DOI : 10.1371/journal.pcbi.0030163.st002
Sim oes, and I. Sá-Correia. Insights into yeast adaptive response to the agricultural fungicide mancozeb: A toxicoproteomics approach, Proteomics, vol.3, pp.657-670, 2009. ,
An introduction to assertional reasoning for concurrent systems, ACM Computing Surveys, vol.25, issue.3, pp.225-262, 1993. ,
DOI : 10.1145/158439.158441
Architecture and inherent robustness of a bacterial cell-cycle control system, Proc. Natl. Acad. Sci ,
DOI : 10.1073/pnas.0805258105
Probabilistic Boolean networks: a rule-based uncertainty model for gene regulatory networks, Bioinformatics, vol.18, issue.2, pp.261-274, 2002. ,
DOI : 10.1093/bioinformatics/18.2.261
Ina -the integrated net analyzer, 1999. ,
Propositional Dynamic Logic of looping and converse, Proceedings of the thirteenth annual ACM symposium on Theory of computing , STOC '81, pp.121-141, 1982. ,
DOI : 10.1145/800076.802492
System Modeling in Cellular Biology: From Concepts to Nuts and Bolts, p.56, 2006. ,
DOI : 10.7551/mitpress/9780262195485.001.0001
A lattice-theoretical fixpoint theorem and its applications, Pacific Journal of Mathematics, vol.5, issue.2, pp.285-309, 1955. ,
DOI : 10.2140/pjm.1955.5.285
Yeast adaptation to mancozeb involves the up-regulation of FLR1 under the coordinate control of Yap1, Rpn4, Pdr3, and Yrr1, Biochemical and Biophysical Research Communications, vol.367, issue.2, pp.249-255, 2008. ,
DOI : 10.1016/j.bbrc.2007.12.056
Transcriptional Activation of FLR1 Gene during Saccharomyces cerevisiae Adaptation to Growth with Benomyl: Role of Yap1p and Pdr3p, Biochemical and Biophysical Research Communications, vol.280, issue.1, pp.216-222, 2001. ,
DOI : 10.1006/bbrc.2000.4100
A nuclear receptor-like pathway regulating multidrug resistance in fungi, Nature, vol.13, issue.7187, pp.604-609, 2008. ,
DOI : 10.1038/nature06836
Logical analysis of systems comprising feedback loops, Journal of Theoretical Biology, vol.73, issue.4, pp.631-656, 1978. ,
DOI : 10.1016/0022-5193(78)90127-3
Multistationarity, the basis of cell differentiation and memory. I. Structural conditions of multistationarity and other nontrivial behavior, Chaos: An Interdisciplinary Journal of Nonlinear Science, vol.11, issue.1, pp.170-179, 2001. ,
DOI : 10.1063/1.1350439
Dynamical behaviour of biological regulatory networks???I. Biological role of feedback loops and practical use of the concept of the loop-characteristic state, Bulletin of Mathematical Biology, vol.29, issue.2, pp.247-276, 1995. ,
DOI : 10.1007/BF02460618
Computation tree logic and regular ?-languages Linear time, branching time and partial order in logics and models of concurrency, LNCS, vol.354, pp.690-713, 1989. ,
A translation from full branching time temporal logic to one letter propositional dynamic logic with looping, p.49, 1982. ,
Temporal logic can be more expressive, 22nd Annual Symposium on Foundations of Computer Science (sfcs 1981), pp.72-99, 1950. ,
DOI : 10.1109/SFCS.1981.44