TY  - RPRT
TI  - Formalization of Bond Graph using Higher-order-logic Theorem Proving
AU  - Ujala Qasim
AU  - Adnan Rashid
AU  - Osman Hasan
PY  - 2021
UR  - https://arxiv.org/abs/2111.12274
ID  - 2111.12274
ER  -