TY  - RPRT
TI  - Specification description and verification of multitask hybrid systems in the OTS/CafeOBJ method
AU  - Masaki Nakamura
AU  - Kazutoshi Sakakibara
AU  - Kazuhiro Ogata
PY  - 2020
UR  - https://arxiv.org/abs/2010.15280
ID  - 2010.15280
ER  -