%0 Journal Article %1 journals/ejes/Morel07 %A Morel, Lionel Robert %D 2007 %J EURASIP J. Embed. Syst. %K dblp %T Array Iterators in Lustre: From a Language Extension to Its Exploitation in Validation. %U http://dblp.uni-trier.de/db/journals/ejes/ejes2007.html#Morel07 %V 2007

@article{journals/ejes/Morel07, added-at = {2020-03-13T00:00:00.000+0100}, author = {Morel, Lionel Robert}, biburl = {https://www.bibsonomy.org/bibtex/20f42f9b2727ed082700b60a4f1e3677e/dblp}, ee = {https://www.wikidata.org/entity/Q59215093}, interhash = {dc7fd028908f73c159942b6a152a99c5}, intrahash = {0f42f9b2727ed082700b60a4f1e3677e}, journal = {EURASIP J. Embed. Syst.}, keywords = {dblp}, timestamp = {2020-03-14T11:46:56.000+0100}, title = {Array Iterators in Lustre: From a Language Extension to Its Exploitation in Validation.}, url = {http://dblp.uni-trier.de/db/journals/ejes/ejes2007.html#Morel07}, volume = 2007, year = 2007 }