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

Collaborated with:
S.Gradara A.Santone G.Vaglini
Talks about:
model (2) multithread (1) program (1) reduc (1) check (1) mean (1)

Person: Maria Luisa Villani

DBLP DBLP: Villani:Maria_Luisa

Contributed to:

LDTA 20042004

Wrote 1 papers:

LDTA-2004-GradaraSVV #model checking #modelling #parallel #source code #thread
Model Checking Multithreaded Programs by Means of Reduced Models (SG, AS, MLV, GV), pp. 55–74.

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.