_id,doi,title
4271,10.1017/S0016672399004334,The effects of epistasis on the structure of hybrid zones
4272,10.1006/tpbi.2000.1455,The stability of symmetrical solutions to polygenic models
4273,10.1002/1521-1878(200012)22:12<1075::AID-BIES5>3.0.CO;2-M,Limits to natural selection
4274,10.1098/rstb.2000.0716,Genetic hitchhiking
4275,10.1016/B0-12-226865-2/00070-5,Differentiation
4276,10.1017/S0016672300239220,Population genetics of multiple loci
4433,10.1007/3-540-46419-0_21,Fair bisimulation
4434,10.1007/3-540-46430-1_15,Robust undecidability of timed and hybrid systems
4435,10.1007/3-540-46419-0_11,Symbolic model checking for rectangular hybrid systems
4439,10.1007/3-540-46541-3_2,A classification of symbolic transition systems
4481,10.1007/3-540-46430-1_14,Beyond HyTech: Hybrid systems analysis using interval numerical methods
4482,10.1007/978-3-540-45099-3_12,Abstract interpretation of game properties
4483,10.1109/ICCAD.2000.896481,Decomposing refinement proofs using assume-guarantee reasoning
4512,10.1007/3-540-44929-9_38,Masaccio: A formal model for embedded components
4513,10.1007/978-3-642-59615-5,The theory of hybrid automata