[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
• DOI: 10.1007/978-3-642-33296-8_5