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

Francisco R. Ortega, Su Liu, Frank Hernandez, Armando B. Barreto, Naphtali Rishe, Malek Adjouadi

Browse the full HCI paper archive.