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 × Germany
Collaborated with:
P.d.Saqui-Sannes J.Courtiat
Talks about:
platform (1) foundat (1) verif (1) petri (1) time (1) loto (1) new (1) net (1)

Person: Tarek Sadani

DBLP DBLP: Sadani:Tarek

Contributed to:

SEFM 20052005

Wrote 1 papers:

SEFM-2005-SadaniSC #framework #petri net #platform #verification
From RT-LOTOS to Time Petri Nets New Foundations for a Verification Platform (TS, PdSS, JPC), pp. 250–260.

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.