Reference Citation Analysis: Find an Article, Find a Category, Find a Journal, Find a Scholar

Citation(s) in RCA

1
(from Reference Citation Analysis)

Indexed Articles

Ranked By

Results Analysis

Results Analysis

Year Published

Show more Refine

Article Statistics

Refine

Publication Titles

Show more Refine

Category

Show more Refine

For:	Kwon Y, Kim E. Specification and Verification of Pharmacokinetic Models. In: Arabnia HR, editor. Advances in Computational Biology. New York: Springer; 2010. pp. 465-72. [DOI: 10.1007/978-1-4419-5913-3_52] [Citation(s) in RCA: 1] [Impact Index Per Article: 0.1] [Reference Citation Analysis] [What about the content of this article? (0)] [Track Full Text] [Subscribe] [Scholar Register]

Number	Cited by Other Article(s)
1	Euclidean Model Checking: A Scalable Method for Verifying Quantitative Properties in Probabilistic Systems. ALGEBRAIC INFORMATICS 2013. [DOI: 10.1007/978-3-642-40663-8_1] [Citation(s) in RCA: 1] [Impact Index Per Article: 0.1] [Reference Citation Analysis] [Track Full Text] [Subscribe] [Scholar Register] [Indexed: 12/12/2022] Abstract Collapse Key Words Collapse MESH Headings Collapse Grants Collapse Affiliation(s) Collapse

Number

Cited by Other Article(s)

Euclidean Model Checking: A Scalable Method for Verifying Quantitative Properties in Probabilistic Systems. ALGEBRAIC INFORMATICS 2013. [DOI: 10.1007/978-3-642-40663-8_1] [Citation(s) in RCA: 1] [Impact Index Per Article: 0.1] [Reference Citation Analysis] [Track Full Text] [Subscribe] [Scholar Register] [Indexed: 12/12/2022]