𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Formal Methods: Foundations and Applications Volume 7498 || Palytoxin Inhibits the Sodium-Potassium Pump – An Investigation of an Electrophysiological Model Using Probabilistic Model Checking

✍ Scribed by Gheyi, Rohit; Naumann, David


Book ID
118061464
Publisher
Springer Berlin Heidelberg
Year
2012
Weight
523 KB
Category
Article
ISBN
364233296X

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES