Verification and prediction of timed probabilistic properties over the DMTF CIM

Iman Poernomo, Heinz Schmidt, James Winly Jayaputera

Research output: Contribution to journal › Article › Research › peer-review

Original language	English
Pages (from-to)	633 - 658
Number of pages	26
Journal	International Journal of Cooperative Information Systems
Volume	15
Issue number	4
DOIs	https://doi.org/10.1142/S0218843006001517
Publication status	Published - 2006

Access to Document

@article{a49b8b6ba74c47ca8c932bee121b7756,

title = "Verification and prediction of timed probabilistic properties over the DMTF CIM",

author = "Iman Poernomo and Heinz Schmidt and Jayaputera, {James Winly}",

year = "2006",

doi = "10.1142/S0218843006001517",

language = "English",

volume = "15",

pages = "633 -- 658",

journal = "International Journal of Cooperative Information Systems",

issn = "0218-8430",

publisher = "World Scientific Publishing",

number = "4",

}

TY - JOUR

T1 - Verification and prediction of timed probabilistic properties over the DMTF CIM

AU - Poernomo, Iman

AU - Schmidt, Heinz

AU - Jayaputera, James Winly

PY - 2006

Y1 - 2006

UR - http://www.worldscinet.com/ijcis/15/1504/S0218843006001517.html

U2 - 10.1142/S0218843006001517

DO - 10.1142/S0218843006001517

M3 - Article

VL - 15

SP - 633

EP - 658

JO - International Journal of Cooperative Information Systems

JF - International Journal of Cooperative Information Systems

SN - 0218-8430

IS - 4

ER -