BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:
H.Wang C.Lin F.Yu J.R.Jiang
Talks about:
represent (1) automata (1) manipul (1) circuit (1) analysi (1) string (1) logic (1)

Person: Tzung-Lin Tsai

DBLP DBLP: Tsai:Tzung=Lin

Contributed to:

CAV (1) 20162016

Wrote 1 papers:

CAV-2016-WangTLYJ #analysis #automaton #logic #representation #string
String Analysis via Automata Manipulation with Logic Circuit Representation (HEW, TLT, CHL, FY, JHRJ), pp. 241–260.

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.