An extensions of linear time temporal logic and its application to hardware design

Bibliographic Details
Main Author:	Cingel, Viktor (Author)
Format:	Article
Language:	English
Subjects:	hardvér logika časová články z novín a časopisov

Similar Items