Used together with:
petri
(1)
use
(1)
net
(1)
formal
(1)
multi
(1)
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.
Bibliography of Software Language Engineering in Generated Hypertext
(
BibSLEIGH
) is created and maintained by
Dr. Vadim Zaytsev
.
Hosted as a part of
SLEBOK
on
GitHub
.