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
. EURO-PAR 2011 PARALLEL PROCESSING, PT 1, 8510 361-372.
Ortega, Francisco R, Liu, Su, Hernandez, Frank et al. (2014). PeNTa: Formal Modeling for Multi-touch Systems Using Petri Net
. EURO-PAR 2011 PARALLEL PROCESSING, PT 1, 8510 361-372.