Вы здесь

Lazic R. S.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Relating Data Independent Trace Checks in CSP with UNITY Reachability under a Normality Assumption 2004 Wang X., Roscoe A. W., Lazic R. S. Lecture Notes in Computer Science 21.05.2004