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 × Estonia
Collaborated with:
E.Ábrahám P.C.Ölveczky
Talks about:
time (2) model (1) check (1) real (1) maud (1) ctl (1)

Person: Daniela Lepri

DBLP DBLP: Lepri:Daniela

Contributed to:

WRLA 20122012

Wrote 1 papers:

WRLA-2012-LepriAO #maude #model checking #realtime
Timed CTL Model Checking in Real-Time Maude (DL, , PCÖ), pp. 182–200.

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.