List of Articles Fuzzy Kripke Model Open Access Article Abstract Page Full-Text 1 - Applications of Fuzzy Program Graph in Symbolic Checking of Fuzzy Flip-Flops Gholamreza Sotudeh Ali Movaghar