@MASTERSTHESIS\{IMM2012-06272,
    author       = "L. Wang",
    title        = "A Graphics Library for System Analysis",
    year         = "2012",
    school       = "Technical University of Denmark, {DTU} Informatics, {E-}mail: reception@imm.dtu.dk",
    address      = "Asmussens Alle, Building 305, {DK-}2800 Kgs. Lyngby, Denmark",
    type         = "",
    note         = "Supervised by Associate Professor Christian Probst, probst@imm.dtu.dk, {DTU} Informatics",
    url          = "http://www.imm.dtu.dk/English.aspx",
    abstract     = "This project aims to establish a software library(API) that enables users to analyse, visualize and manipulate graph or network that is common within the domain of system analysis. The library will extend a graph library, and make the relevant functionality available, plus add new, domain-specific functionality. To this end an evaluation of different libraries will be performed, and several problem domains explored, for example, communication protocols and process calculi. Based on these explorations, a library will be designed and implemented, and evaluated on different case studies."
}