Real-time computer control of discrete systems modelled by extended state machines: a temporal logic approach.
Read Online
Share

Real-time computer control of discrete systems modelled by extended state machines: a temporal logic approach.

  • 146 Want to read
  • ·
  • 75 Currently reading

Published .
Written in English


Book details:

The Physical Object
Pagination224 leaves
Number of Pages224
ID Numbers
Open LibraryOL17421723M

Download Real-time computer control of discrete systems modelled by extended state machines: a temporal logic approach.

PDF EPUB FB2 MOBI RTF