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

cited authors

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

publication date

  • 2014

start page

  • 361

end page

  • 372

volume

  • 8510

research area