par Doyen, Laurent 
;Henzinger, Thomas A.;Jobstmann, Barbara;Petrov, Tatjana
Référence (08/10/19-08/10/24: Atlanta, GA), Proceedings of the 8th Annual Conference on Embedded Software (EMSOFT), ACM Press, New York, page (79-88)
Publication Publié, 2008
;Henzinger, Thomas A.;Jobstmann, Barbara;Petrov, TatjanaRéférence (08/10/19-08/10/24: Atlanta, GA), Proceedings of the 8th Annual Conference on Embedded Software (EMSOFT), ACM Press, New York, page (79-88)
Publication Publié, 2008
Publication dans des actes
| Titre: |
|
| Auteur: | Doyen, Laurent; Henzinger, Thomas A.; Jobstmann, Barbara; Petrov, Tatjana |
| Informations sur la publication: | (08/10/19-08/10/24: Atlanta, GA), Proceedings of the 8th Annual Conference on Embedded Software (EMSOFT), ACM Press, New York, page (79-88) |
| Statut de publication: | Publié, 2008 |
| Sujet CREF: | Informatique générale |
| Langue: | Anglais |
| Identificateurs: | urn:isbn:9781605584683 |
| info:scp/70349234170 | |
| VX-005368 |
