BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Germany
Collaborated with:
A.E.Haxthausen C.George
Talks about:
togeth (1) semant (1) trsl (1) time (1) rais (1) oper (1) link (1)

Person: Xia Yong

DBLP DBLP: Yong:Xia

Contributed to:

IFM 20002000
World Congress on Formal Methods 19991999

Wrote 2 papers:

IFM-2000-HaxthausenY
Linking DC Together with TRSL (AEH, XY), pp. 25–44.
FM-v2-1999-YongG #semantics
An Operational Semantics for Timed RAISE (XY, CG), pp. 1008–1027.
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.