7 research outputs found

    PeNTa: Formal Modeling for Multi-touch Systems Using Petri Net

    No full text
    corecore