Extension of synthesis algorithm of recursive processes to μ-calculus

Shigetomo Kimura, Atsushi Togashi, Norio Shiratori

    研究成果: Article査読

    1 被引用数 (Scopus)

    フィンガープリント

    「Extension of synthesis algorithm of recursive processes to μ-calculus」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

    Mathematics

    Engineering & Materials Science