book part or chapter

On the synthesis of discrete controllers for timed systems

Maler, O.
•
Pnueli, A.
•
Sifakis, J.  
1995
STACS 95
Loading...
Thumbnail Image
Name

Synth-MalerPnueli.pdf

Access type

openaccess

Size

254.28 KB

Format

Adobe PDF

Checksum (MD5)

e00676d2f7f766701b92380d5967640c