Author:
Méry Dominique,Singh Neeraj Kumar
Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. Castellanos Jr., A., Lemberg, L., Rodriguez-Tocker, L., Berkovits, B.V.: Atrial synchronized pacemaker arrhythmias: revisited. Am. Heart, Pub. Med. 2, 199–208 (1968)
2. Steinbach, K., Forohner, K., Meisl, F.: Atrial stimulation. In: Perez Gomez, F. (ed.) Cardiac Pacing, p. 629 (1985)
3. Abrial, J.-R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press (2009) (forthcoming book)
4. Ausubel, K., Furman, S.: The Pacemaker Syndrome. Annals of Internal Medicine 103(3), 420–429 (1985)
5. Back, R.: On correct refinement of programs. Journal of Computer and System Sciences 23(1), 49–68 (1979)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献