English
Français
login
Menu
Search
Browse Collections
Help
English
Français
login
On the synthesis of discrete controllers for timed systems
Maler, O.
;
Pnueli, A.
;
Sifakis, J.
1995
Download
Formats
Format
BibTeX
View
Download
MARC
View
Download
MARCXML
View
Download
DublinCore
View
Download
EndNote
View
Download
NLM
View
Download
RefWorks
View
Download
RIS
View
Download
Files
Details
Title
On the synthesis of discrete controllers for timed systems
Author(s)
Maler, O.
;
Pnueli, A.
;
Sifakis, J.
Published in
STACS 95
Series
Lecture Notes in Computer Science, 900
Pages
229-242
Date
1995
ISSN
03029743
DOI
https://doi.org/10.1007/3-540-59042-0_76
Laboratories
RISD
Record Appears in
Scientific production and competences
>
I&C - School of Computer and Communication Sciences
>
IC Archives
>
RISD - Rigorous System Design Laboratory
Peer-reviewed publications
Work outside EPFL
Book chapters
Published
Record creation date
2013-03-14
Actions
Preview
Select file:
Synth-MalerPnueli - n/a - n/a