@article{Sta08,
title = { Formal Analysis Tools for the Synchronous Aspect Language Larissa },
author = {Stauch, David},
year = {2008},
journal = {EURASIP Journal on Embedded Systems},
pages = {18},
team = {SYNC},
}
bibtex
Contact |
Plan du site |
Site réalisé avec SPIP 4.4.28 +
AHUNTSIC
[CC License]
info visites 32829356