ダウンロード

非同期システムにおける時相論理式の帰納的導出法