Loading...
Thumbnail Image
book part or chapter

On the synthesis of discrete controllers for timed systems

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

Synth-MalerPnueli.pdf

Access type

openaccess

Size

254.28 KB

Format

Adobe PDF

Checksum (MD5)

e00676d2f7f766701b92380d5967640c