_id,doi,title
4014,10.1007/PL00009412,Deformable smooth surface design
4204,10.1242/dev.126.10.2129,Zebrafish aussicht mutant embryos exhibit widespread overexpression of ace (fgf8) and coincident defects in CNS development
4277,10.2307/2640907,Hybrid dysfunction in fire-bellied toads (Bombina)
4279,10.1093/genetics/152.1.355,"Introgression through rare hybridisation: A genetic study of a hybrid zone between red and sika deer (genus Cervus), in Argyll, Scotland"
4411,,Algorithms and Methodology for Scalable Model Checking
4442,10.1016/S0304-3975(99)00038-9,Discrete-time control for rectangular hybrid automata
4480,10.1109/ICCAD.1999.810700,Formal specification and verification of a dataflow processor array
4484,10.1007/3-540-48683-6_27,Verifying sequential consistency on shared-memory multiprocessor systems
4485,10.1007/3-540-48320-9_23,Rectangular hybrid games
4487,10.1007/3-540-48683-6_20,Assume-guarantee refinement between different time scales