An extensions of linear time temporal logic and its application to hardware design
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| PhysicalDescription: | Obr. 5. Fot. 1. Res. angl., rus., lit. 22 zázn. v angl. |
| Subjects: |
| Physical Description: | Obr. 5. Fot. 1. Res. angl., rus., lit. 22 zázn. v angl. |
|---|
