Вы здесь

Barnard D.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Solution Relying on the Model Checking of Boolean Transition Systems 1996 Cuellar J., Barnard D., Huber M. Lecture Notes in Computer Science 24.12.1996
СТ Combining the Design of Industrial Systems with Effective Verification Techniques 1994 Cuellar J., Wildgruber I., Barnard D. Lecture Notes in Computer Science 14.12.1994