Français
English
identification
Menu
Recherche
Browse Collections
Aide
Français
English
identification
On the synthesis of discrete controllers for timed systems
Maler, O.
;
Pnueli, A.
;
Sifakis, J.
1995
Télécharger
Formats
Format
BibTeX
Voir
Télécharger
MARC
Voir
Télécharger
MARCXML
Voir
Télécharger
DublinCore
Voir
Télécharger
EndNote
Voir
Télécharger
NLM
Voir
Télécharger
RefWorks
Voir
Télécharger
RIS
Voir
Télécharger
Fichiers
Détails
Titre
On the synthesis of discrete controllers for timed systems
Auteur(s)
Maler, O.
;
Pnueli, A.
;
Sifakis, J.
Publié dans
STACS 95
Série
Lecture Notes in Computer Science, 900
Pages
229-242
Date
1995
ISSN
03029743
DOI
https://doi.org/10.1007/3-540-59042-0_76
Laboratoires
RISD
Le document apparaît dans
Production scientifique et compétences
>
I&C - Faculté Informatique & Communications
>
IC Archives
>
RISD - Laboratoire pour la conception rigoureuse des systèmes
Publications validées par des pairs
Travail hors EPFL
Chapitres de livre
Publié
Date de création de la notice
2013-03-14
Actions
Aperçu
Sélectionner le fichier :
Synth-MalerPnueli - n/a - n/a