Hardware synthesis from an interval temporal logic
| Main Author: | |
|---|---|
| Published: |
University of East Anglia
1997
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.361488 |
| id |
ndltd-bl.uk-oai-ethos.bl.uk-361488 |
|---|---|
| record_format |
oai_dc |
| spelling |
ndltd-bl.uk-oai-ethos.bl.uk-3614882015-03-19T05:55:24ZHardware synthesis from an interval temporal logicMarshall, I.1997621.39Computer hardwareUniversity of East Angliahttp://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.361488Electronic Thesis or Dissertation |
| collection |
NDLTD |
| sources |
NDLTD |
| topic |
621.39 Computer hardware |
| spellingShingle |
621.39 Computer hardware Marshall, I. Hardware synthesis from an interval temporal logic |
| author |
Marshall, I. |
| author_facet |
Marshall, I. |
| author_sort |
Marshall, I. |
| title |
Hardware synthesis from an interval temporal logic |
| title_short |
Hardware synthesis from an interval temporal logic |
| title_full |
Hardware synthesis from an interval temporal logic |
| title_fullStr |
Hardware synthesis from an interval temporal logic |
| title_full_unstemmed |
Hardware synthesis from an interval temporal logic |
| title_sort |
hardware synthesis from an interval temporal logic |
| publisher |
University of East Anglia |
| publishDate |
1997 |
| url |
http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.361488 |
| work_keys_str_mv |
AT marshalli hardwaresynthesisfromanintervaltemporallogic |
| _version_ |
1716744254398660608 |