Вы здесь

Kropf T.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Simplifying Deep Embedding: A Formalised Code Generator 1994 Reetz R., Kropf T. Lecture Notes in Computer Science 24.11.1994
СТ Automating Verification by Functional Abstraction at the System Level 1994 Schneider K., Kumar R., Kropf T. Lecture Notes in Computer Science 24.11.1994
СТ Eliminating Higher-Order Quantifiers to Obtain Decision Procedures for Hardware Verification 1994 Schneider K., Kumar R., Kropf T. Lecture Notes in Computer Science 21.06.1994
СТ Alternative Proof Procedures for Finite-State Machines in Higher-Order Logic 1994 Schneider K., Kumar R., Kropf T. Lecture Notes in Computer Science 18.06.1994
СТ Embedding Hardware Verification within a Commercial Design Framework 1993 Kropf T., Kumar R., Schneider K. Lecture Notes in Computer Science 29.06.1993