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
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
Peer-reviewed publications
Work outside EPFL
Book chapters
Published
Record creation date
2013-03-14