%0 Conference Paper
%B CSBio'20: Proceedings of the Eleventh International Conference on Computational Systems-Biology and Bioinformatics
%D 2020
%G eng
%T Towards Automated Comprehension and Alignment of Cardiac Models at the System Invariant Level