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 × Hungary
Collaborated with:
Y.Tsay Y.Chen M.Tsai W.Chan
Talks about:
research (1) automata (1) toward (1) tempor (1) extend (1) logic (1) tool (1) goal (1)

Person: Chi-Jian Luo

DBLP DBLP: Luo:Chi=Jian

Contributed to:

TACAS 20082008

Wrote 1 papers:

TACAS-2008-TsayCTCL #automaton #logic #research #towards
GOAL Extended: Towards a Research Tool for ω Automata and Temporal Logic (YKT, YFC, MHT, WCC, CJL), pp. 346–350.
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.