Autor der Publikation

Approximation Techniques for Stochastic Analysis of Biological Systems.

, , , , und . Automated Reasoning for Systems Biology and Medicine, Volume 30 von Computational Biology, Springer, (2019)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Keine Personen gefunden für den Autorennamen Neupane, Thakur
Eine Person hinzufügen mit dem Namen Neupane, Thakur
 

Weitere Publikationen von Autoren mit dem selben Namen

STAMINA: STochastic Approximate Model-Checker for INfinite-State Analysis., , , , und . CAV (1), Volume 11561 von Lecture Notes in Computer Science, Seite 540-549. Springer, (2019)STAMINA 2.0: Improving Scalability of Infinite-State Stochastic Model Checking., , , , und . VMCAI, Volume 13182 von Lecture Notes in Computer Science, Seite 319-331. Springer, (2022)Approximation Techniques for Stochastic Analysis of Biological Systems., , , , und . Automated Reasoning for Systems Biology and Medicine, Volume 30 von Computational Biology, Springer, (2019)