_id,doi,title
4430,10.1007/3-540-64358-3,"HSCC: Hybrid Systems—Computation and Control"
4486,10.1007/3-540-49519-3_27,An assume-guarantee rule for checking simulation
4488,10.1007/BFb0028765,"You assume, we guarantee: Methodology and case studies"
4489,10.1007/BFb0028745,From pre-historic to post-modern symbolic model checking
4490,10.1007/BFb0055086,The regular real-time languages
4491,10.1109/9.664156 ,Algorithmic analysis of nonlinear hybrid systems
4492,10.1006/jcss.1998.1581,What's decidable about hybrid automata?
4515,10.1007/BFb0055640,It's about time: Real-time logics reviewed
2493,10.1002/(SICI)1096-9861(19970217)378:3<320::AID-CNE2>3.0.CO;2-5,Immunostaining for substance P receptor labels GABAergic cells with distinct termination patterns in the hippocampus
2575,10.1016/S0304-3940(97)13429-2,"Localization of a metabotropic glutamate receptor, mGluR7, in axon terminals of presumed nociceptive, primary afferent fibers in the superficial layers of the spinal dorsal horn: An electron microscope study in the rat"
2576,10.1002/(SICI)1096-9861(19970224)378:4<508::AID-CNE6>3.0.CO;2-6,Distribution of trigeminohypothalamic and spinohypothalamic tract neurons displaying substance P receptor-like immunoreactivity in the rat
2577,,The regional distribution and cellular localization of mRNA encoding rat prostacyclin synthase
2578,10.1002/(SICI)1096-9861(19970519)381:4<439::AID-CNE4>3.0.CO;2-3,Relationship of NK3 receptor-immunoreactivity to subpopulations of neurons in rat spinal cord
2579,10.1007/s004410050846,Localisation of neurokinin 3 (NK3) receptor immunoreactivity in the rat gastrointestinal tract
2580,10.1016/S0891-0618(97)00051-3,"Differential plasma membrane distribution of metabotropic glutamate receptors mGluR1α, mGluR2 and mGluR5, relative to neurotransmitter release sites"
2581,10.1002/(SICI)1096-9861(19971117)388:2<250::AID-CNE5>3.0.CO;2-0,Collateral projections from striatonigral neurons to substance P receptor-expressing intrinsic neurons in the striatum of the rat
2582,10.1523/JNEUROSCI.17-19-07503.1997,Differential presynaptic localization of metabotropic glutamate receptor subtypes in the rat hippocampus
2727,10.1063/1.531909,Dia- and paramagnetism for nonhomogeneous magnetic fields
2729,10.1007/s002200050181,"Semiclassical eigenvalue estimates for the Pauli operator with strong non-homogeneous magnetic fields, II. Leading order asymptotic estimates"
11666,10.1145/265924.265925,Continuous profiling: Where have all the cycles gone?