_id,doi,title
4297,10.1111/j.1558-5646.1995.tb05955.x,"The genetic structure of a mosaic hybrid zone between two chromosome races of the Sceloporus grammicus complex (Sauria, Phrynosomatidae) in central Mexico"
4298,10.1111/j.1558-5646.1995.tb04431.x,"Appendix to ""A simulation study of multilocus clines"" by S J E Baird"
4428,,Automatic analysis of hybrid systems
4447,10.1007/3-540-60472-3_14,HyTech: The Cornell Hybrid Technology Tool
4448,10.1007/3-540-60472-3_13,A note on abstract-interpretation strategies for hybrid automata
4450,10.1007/3-540-60045-0_53,Algorithmic analysis of nonlinear hybrid systems
4497,10.1007/3-540-60630-0_3,A user guide to HyTech
4498,10.1109/SFCS.1995.492576,Computing simulations on finite and infinite graphs
4499,10.1109/REAL.1995.495196 ,HyTech: The next generation
4500,10.1007/3-540-60084-1_93,The expressive power of clocks
4502,10.1145/225058.225162,What's decidable about hybrid automata?
4518,10.1007/3-540-60084-1_85,Hybrid automata with finite bisimulations