Вы здесь

Bruns G.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Model Checking with Multi-Valued Logics 2004 Bruns G., Godefroid P. Lecture Notes in Computer Science Lecture Notes in Computer Science 28.10.2004
СТ MAWL: A Domain-Specific Language for Form-Based Services 1999 Atkins D. L., Ball T., Bruns G., Cox K. IEEE Trans. on Software Engineering 29.10.1999
СТ Model Checking Partial State Spaces with 3-Valued Temporal Logics 1999 Bruns G., Godefroid P. Lecture Notes in Computer Science 16.07.1999
СТ A Practical Technique for Process Abstraction 1993 Bruns G. Lecture Notes in Computer Science 19.10.1993
СТ A Case Study in Safely-Critical Design 1993 Bruns G. Lecture Notes in Computer Science 07.05.1993