출력 등가 머신을 이용한 비동기 순차 머신의 모델 정합

Research output: Contribution to journal › Article › peer-review

Cite this