Вы здесь

Hansen H.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Compatibility Problems in the Development of Algebraic Module Specifications 1990 Ehrig H., Fey W., Hansen H., Lowe M., Jacobs D., Parisi-Presicce F. Theoretical Computer Science 12.02.1991
СТ Larger Automata and Less Work for LTL Model Checking 2006 Geldenhuys J., Hansen H. Lecture Notes in Computer Science Lecture Notes in Computer Science 23.05.2006
СТ Modular Algebraic Specifications 1988 Hansen H., Lowe M. Mathematical Research Algebraic and Logic Programming 30.06.1995
СТ Tampere Verification Tool 2004 Virtanen H., Hansen H., Valmari A., Nieminen J., Erkkila T. Lecture Notes in Computer Science 15.05.2004