"Modal Mu-calculus Extension with Description of Autonomy and Its Algebraic ..."

Susumu Yamasaki, Mariko Sasakura (2020)

Details and statistics

DOI: 10.5220/0009322300630071

access: closed

type: Conference or Workshop Paper

metadata version: 2024-08-04