1
Published 2010
Springer Netherlands
Table of Contents: ... -- DFA, a Biomedical Checking Tool for the Heart Control System -- Generalizations in Mathematical...