@inproceedings{Hal05,
title = { A synchronous language at work: the story of {L}ustre },
author = {Halbwachs, Nicolas},
month = {jul},
year = {2005},
booktitle = {Third ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE'2005},
address = {Verona, Italy},
team = {SYNC},
}
bibtex
Contact |
Plan du site |
Site réalisé avec SPIP 4.4.28 +
AHUNTSIC
[CC License]
info visites 32893456
|
|
|