Richard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu. A Continuous ASM Modelling Approach to Pacemaker Sensing. ACM Transactions on Software Engineering Methodology, 24(1):2, 2014. [doi]
@article{BanachZSW14, title = {A Continuous ASM Modelling Approach to Pacemaker Sensing}, author = {Richard Banach and Huibiao Zhu and Wen Su and Xiaofeng Wu}, year = {2014}, doi = {10.1145/2610375}, url = {http://doi.acm.org/10.1145/2610375}, researchr = {https://researchr.org/publication/BanachZSW14}, cites = {0}, citedby = {0}, journal = {ACM Transactions on Software Engineering Methodology}, volume = {24}, number = {1}, pages = {2}, }