Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Journal Article
%1 journals/tsmc/DuJZ09
%A Du, Yuyue
%A Jiang, Changjun
%A Zhou, MengChu
%D 2009
%J IEEE Trans. Syst. Man Cybern. Part A
%K dblp
%N 2
%P 299-308
%T A Petri Net-Based Model for Verification of Obligations and Accountability in Cooperative Systems.
%U http://dblp.uni-trier.de/db/journals/tsmc/tsmca39.html#DuJZ09
%V 39
@article{journals/tsmc/DuJZ09,
added-at = {2020-05-25T00:00:00.000+0200},
author = {Du, Yuyue and Jiang, Changjun and Zhou, MengChu},
biburl = {https://www.bibsonomy.org/bibtex/29daeec98a04885067531d0a6df288dc4/dblp},
ee = {https://doi.org/10.1109/TSMCA.2008.2010751},
interhash = {ed76fbbd40b8c3aecbaa709057f0431a},
intrahash = {9daeec98a04885067531d0a6df288dc4},
journal = {IEEE Trans. Syst. Man Cybern. Part A},
keywords = {dblp},
number = 2,
pages = {299-308},
timestamp = {2020-05-26T11:46:56.000+0200},
title = {A Petri Net-Based Model for Verification of Obligations and Accountability in Cooperative Systems.},
url = {http://dblp.uni-trier.de/db/journals/tsmc/tsmca39.html#DuJZ09},
volume = 39,
year = 2009
}