JOURNAL ARTICLE
Branching-Time Probalistic Model Checking.
Rance CleavelandS. Purushothaman Iyer
Year: 2000 Journal: The Journal of Organic Chemistry Vol: 35 (4)Pages: 487-500 Publisher: American Chemical Society
Keywords:
Branching (polymer chemistry) Computer science Mathematics
Metrics
1
Cited By
0.55
FWCI (Field Weighted Citation Impact)
0
Refs
0.69
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Topics
Software Testing and Debugging Techniques
Physical Sciences → Computer Science → Software
Formal Methods in Verification
Physical Sciences → Computer Science → Computational Theory and Mathematics
Model-Driven Software Engineering Techniques
Physical Sciences → Computer Science → Software
Related Documents
JOURNAL ARTICLE
Linear-Time Model Checking Branching Processes
Stefan KieferPavel SemukhinCas Widdershoven
Journal: Leibniz-Zentrum für Informatik (Schloss Dagstuhl) Year: 2021
BOOK-CHAPTER
Oracle Circuits for Branching-Time Model Checking
Lecture notes in computer science Year: 2003 Pages: 790-801
JOURNAL ARTICLE
Model checking for hybrid branching-time logics
Journal: Journal of Logical and Algebraic Methods in Programming Year: 2018 Vol: 110 Pages: 100427-100427
JOURNAL ARTICLE
Model Checking Games for Branching Time Logics
Journal: Journal of Logic and Computation Year: 2002 Vol: 12 (4)Pages: 623-639