BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Japan
Collaborated with:
O.H.Ibarra Z.Dang
Talks about:
automata (1) monoton (1) counter (1) safeti (1) verif (1) finit (1) way (1) two (1)

Person: Zhi-Wei Sun

DBLP DBLP: Sun:Zhi=Wei

Contributed to:

DLT 20022002

Wrote 1 papers:

DLT-2002-IbarraDS #automaton #finite #safety #verification
Safety Verification for Two-Way Finite Automata with Monotonic Counters (OHI, ZD, ZWS), pp. 326–338.

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.