PeNTa: Formal Modeling for Multi-touch Systems Using Petri Net
Conference
Ortega, Francisco R, Liu, Su, Hernandez, Frank et al. (2014). PeNTa: Formal Modeling for Multi-touch Systems Using Petri Net
. Lecture Notes in Computer Science, 8510 361-372.
Ortega, Francisco R, Liu, Su, Hernandez, Frank et al. (2014). PeNTa: Formal Modeling for Multi-touch Systems Using Petri Net
. Lecture Notes in Computer Science, 8510 361-372.