Roman Popp, Ralph Hoch, Hermann Kaindl. A Connection of Task-centric with Artefact-centric Models through Semantic Task Specification and its Use for Formal Verification. In 50th Hawaii International Conference on System Sciences, HICSS 2017, Hilton Waikoloa Village, Hawaii, USA, January 4-7, 2017. pages 1-10, AIS Electronic Library (AISeL), 2017. [doi]
@inproceedings{PoppHK17,
title = {A Connection of Task-centric with Artefact-centric Models through Semantic Task Specification and its Use for Formal Verification},
author = {Roman Popp and Ralph Hoch and Hermann Kaindl},
year = {2017},
url = {http://aisel.aisnet.org/hicss-50/os/enterprise_architecture/3},
researchr = {https://researchr.org/publication/PoppHK17},
cites = {0},
citedby = {0},
pages = {1-10},
booktitle = {50th Hawaii International Conference on System Sciences, HICSS 2017, Hilton Waikoloa Village, Hawaii, USA, January 4-7, 2017},
publisher = {AIS Electronic Library (AISeL)},
}