1. Specifying and Model Checking Distributed Control Algorithms at Meta-level. (22nd September 2021) Authors: Doan, Ha Thi Thu; Ogata, Kazuhiro Journal: Computer journal Issue: Volume 65:Number 12(2022) Page Start: 2998 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗