Verification and prediction of timed probabilistic properties over the DMTF CIM

Iman Poernomo, Heinz Schmidt, James Winly Jayaputera

    Research output: Contribution to journalArticleResearchpeer-review

    3 Citations (Scopus)
    Original languageEnglish
    Pages (from-to)633 - 658
    Number of pages26
    JournalInternational Journal of Cooperative Information Systems
    Volume15
    Issue number4
    DOIs
    Publication statusPublished - 2006

    Cite this