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

Collaborated with:
Talks about:
independ (1) softwar (1) thread (1) domain (1) multi (1) model (1) check (1)

Person: Karlheinz Friedberger

DBLP DBLP: Friedberger:Karlheinz

Contributed to:

ASE 20182018

Wrote 1 papers:

ASE-2018-BeyerF #concurrent #independence #model checking #multi #thread
Domain-independent multi-threaded software model checking (DB, KF), pp. 634–644.

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.