relation: https://khub.utp.edu.my/scholars/20377/ title: Ontology-supported verification method for implementation of IoT service design with petri net creator: Ahmadon, Mohd Anuaruddin Bin creator: Yamaguchi, Shingo publisher: IEEE Computer Society date: 2018 type: Conference or Workshop Item type: PeerReviewed identifier: Ahmadon, Mohd Anuaruddin Bin and Yamaguchi, Shingo (2018) Ontology-supported verification method for implementation of IoT service design with petri net. In: UNSPECIFIED. relation: https://www.scopus.com/inward/record.uri?eid=2-s2.0-85060272111&doi=10.1109%2fICCE-Berlin.2018.8576174&partnerID=40&md5=8c31eb1e330c48f107921d54d45bf004 relation: 10.1109/ICCE-Berlin.2018.8576174 identifier: 10.1109/ICCE-Berlin.2018.8576174