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 × Germany
1 × Italy
Collaborated with:
Talks about:
trajectori (1) techniqu (1) mathemat (1) partial (1) foundat (1) symbol (1) reduct (1) formal (1) verif (1) order (1)

Person: Ching-Tsun Chou

DBLP DBLP: Chou:Ching=Tsun

Contributed to:

CAV 19991999
TACAS 19961996

Wrote 2 papers:

CAV-1999-Chou #evaluation
The Mathematical Foundation fo Symbolic Trajectory Evaluation (CTC), pp. 196–207.
TACAS-1996-ChouP #model checking #partial order #reduction #verification
Formal Verification of a Partial-Order Reduction Technique for Model Checking (CTC, DP), pp. 241–257.

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.