• Reference Citation Analysis
  • v
  • v
  • Find an Article
Find an Article (55524772)   Find a Category (125)   Find a Journal (6166)   Find a Scholar (4027)   Find an Academic Assistant (18)
Find an Article PDF (4626380)   Today's Articles (4414)   Subscriber (49537)
Citation(s) in RCA

Indexed Articles
Ranked By
Article Statistics
Refine
MESH Headings
Show more   Refine
First Author
Show more   Refine
Authors
Show more   Refine
Publication Titles
Show more   Refine
Grant Agencies
Show more   Refine
Countries/Regions
Show more   Refine
Affiliations
Show more   Refine
Category
Show more   Refine
For: Agha G. 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] [What about the content of this article? (0)] [Track Full Text] [Subscribe] [Scholar Register] [Indexed: 12/12/2022]
  • No articles found.
(The first 100,000 artilces are displayed in RCA.)
© 2004-2024 Baishideng Publishing Group Inc. All rights reserved. 7041 Koll Center Parkway, Suite 160, Pleasanton, CA 94566, USA