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

Collaborated with:
C.Rodríguez M.Sousa C.Coti L.Petrucci
Talks about:
partial (1) reduct (1) quasi (1) order (1) optim (1)

Person: Huyen T. T. Nguyen

DBLP DBLP: Nguyen:Huyen_T=_T=

Contributed to:

CAV (2) 20182018

Wrote 1 papers:

CAV-2018-NguyenRSCP #partial order #reduction
Quasi-Optimal Partial Order Reduction (HTTN, CR, MS, CC, LP), pp. 354–371.

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.