Вы здесь

Sunesen K.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Case Study in Verification Based on Trace Abstractions 1996 Klarlund N., Nielsen M., Sunesen K. Lecture Notes in Computer Science 24.12.1996
СТ Behavioural Equivalence for Infinite Systems - Partially Decidable! 1996 Sunesen K., Nielsen M. Lecture Notes in Computer Science 01.08.1996