A Search Service for Abbreviation / Long Form

■ Abbreviation / Long Form : CTL / computation tree logic

[Related PubMed/MEDLINE]
Total Number of Papers: 3
[Entries Per Page]
 per page
Page Control
Page: of
Abbreviation:   CTL  (>> Co-occurring Abbreviation)
Long Form:   computation tree logic
 Abbreviation Variation
 Long Form Variation
 Pair(Abbreviation/Long Form) Variation
No. Year Title Co-occurring Abbreviation
2017 Model Checking Temporal Logic Formulas Using Sticker Automata. FSA, ITL, PTL
2014 Formal modeling of a system of chemical reactions under uncertainty. ERK
2011 "Antelope": a hybrid-logic model checker for branching-time Boolean GRN analysis. GRNs