@inproceedings{scholars20377,
          volume = {2018-S},
            note = {Cited by: 6},
           title = {Ontology-supported verification method for implementation of IoT service design with petri net},
            year = {2018},
         journal = {IEEE International Conference on Consumer Electronics - Berlin, ICCE-Berlin},
       publisher = {IEEE Computer Society},
             doi = {10.1109/ICCE-Berlin.2018.8576174},
            issn = {21666814},
          author = {Ahmadon, Mohd Anuaruddin Bin and Yamaguchi, Shingo},
            isbn = {978-153866095-9},
             url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-85060272111&doi=10.1109\%2fICCE-Berlin.2018.8576174&partnerID=40&md5=8c31eb1e330c48f107921d54d45bf004}
}