Lionel Morel. Array Iterators in Lustre: from a language extension to its exploitation in validation. EURASIP Journal of Embedded Computing, 2007.
@article{ejes07,
Author = {Morel, Lionel},
Title = {Array Iterators in Lustre: from a language extension to its exploitation in validation},
Journal = {EURASIP Journal of Embedded Computing},
Publisher = {Hindawi},
Year = {2007}
}
Charger la référence EndNote (.ref)
This page is part the Espresso project web site.
It has been automatically generated using the bib2html program.