Scopus Documents # LTL Model Checking for Verification of Electronic Medical Record (EMR) Design
| Title | LTL Model Checking for Verification of Electronic Medical Record (EMR) Design |
|---|---|
| Quartile | 4 |
| Publication Name | Springer Proceedings in Mathematics and Statistics |
| Creator | Taryana A. |
| Page | 283-297 |
| Issn | 21941009 |
| Volume | 455 |
| Cover Date | 2024-01-01 |
| Cover Display Date | 2024 |
| Doi | 10.1007/978-981-97-2136-8_21 |
| Citedby Count | (not set) |
| Aggregation Type | Book Series |
| Url | https://www.scopus.com/record/display.uri?eid=2-s2.0-85200676909&origin=resultslist&sort=plf-f |
| Author | ACEP TARYANA, M.T |
| File | 85200676909.pdf |