Stem penta$ (all stems)
1 papers:
HCI-TMT-2014-OrtegaLHBRA #formal method #modelling #multi #named #petri net #using- PeNTa: Formal Modeling for Multi-touch Systems Using Petri Net (FRO, SL, FH, AB, NR, MA), pp. 361–372.
HCI-TMT-2014-OrtegaLHBRA #formal method #modelling #multi #named #petri net #using