Вы здесь

Cingel V.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Formal Reasoning on Timing at the Timing Diagram Level 1994 Cingel V., Fristacky N. Computers and Artificial Intelligence 15.12.1994
СТ A Graph-Based Method for Timing Diagrams Representation and Verification 1993 Cingel V. Lecture Notes in Computer Science 26.06.1993
СТ An Extension of Linear Time Temporal Logic and Its Application to Hardware Design 1991 Cingel V. Computers and Artificial Intelligence 29.03.1992