Symbolic Verification of Multiagent Graphical Decision Models
Publikation: Forskning - peer review › Tidsskriftartikel
Standard
Symbolic Verification of Multiagent Graphical Decision Models. / Zeng, Yifeng; Poh, Kim-leng.
I: International Journal of Intelligent Systems, Vol. 23, Nr. 11, 2008, s. 1-19.Publikation: Forskning - peer review › Tidsskriftartikel
Harvard
Zeng, Y & Poh, K 2008, 'Symbolic Verification of Multiagent Graphical Decision Models' International Journal of Intelligent Systems, vol 23, nr. 11, s. 1-19.
APA
Zeng, Y., & Poh, K. (2008). Symbolic Verification of Multiagent Graphical Decision Models. International Journal of Intelligent Systems, 23(11), 1-19
CBE
Zeng Y, Poh K. 2008. Symbolic Verification of Multiagent Graphical Decision Models. International Journal of Intelligent Systems. 23(11):1-19.
MLA
Zeng, Yifeng og Kim-lengPoh. "Symbolic Verification of Multiagent Graphical Decision Models". International Journal of Intelligent Systems. 2008, 23(11). 1-19.
Vancouver
Zeng Y, Poh K. Symbolic Verification of Multiagent Graphical Decision Models. International Journal of Intelligent Systems. 2008;23(11):1-19.
Author
Bibtex
@article{3f507fc097c311dda004000ea68e967b,
title = "Symbolic Verification of Multiagent Graphical Decision Models",
publisher = "John/Wiley & Sons, Inc. John/Wiley & Sons Ltd.",
author = "Yifeng Zeng and Kim-leng Poh",
year = "2008",
volume = "23",
number = "11",
pages = "1--19",
journal = "International Journal of Intelligent Systems",
issn = "0884-8173",
}
RIS
TY - JOUR
T1 - Symbolic Verification of Multiagent Graphical Decision Models
A1 - Zeng,Yifeng
A1 - Poh,Kim-leng
AU - Zeng,Yifeng
AU - Poh,Kim-leng
PB - John/Wiley & Sons, Inc. John/Wiley & Sons Ltd.
PY - 2008
Y1 - 2008
JO - International Journal of Intelligent Systems
JF - International Journal of Intelligent Systems
SN - 0884-8173
IS - 11
VL - 23
SP - 1
EP - 19
ER -