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

Collaborated with:
A.Schumann J.Huang
Talks about:
determinist (1) system (1) comput (1) optim (1) graph (1) test (1) dnnf (1) use (1) non (1)

Person: Martin Sachenbacher

DBLP DBLP: Sachenbacher:Martin

Contributed to:

MBT 20092009

Wrote 1 papers:

MBT-2009-SchumannSH #graph #nondeterminism #testing #using
Computing Optimal Tests for Non-deterministic Systems Using DNNF Graphs (AS, MS, JH), pp. 87–99.

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.