Collaborated with:
B.König
S.Küpper
Talks about:
analysi
(1)
weight
(1)
system
(1)
tool
(1)
paw
(1)
Person:
Christina Mika
DBLP: Mika:Christina
Contributed to:
2017
Wrote 1 papers:
QAPL-2017-KoenigKM
#analysis
#named
PAWS: A Tool for the Analysis of Weighted Systems (
BK
,
SK
,
CM
), pp. 75–91.
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
.