Вы здесь

Goubault-Larrecq J.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Tableau System for Linear-TIME Temporal Logic 1997 Schmitt P. H., Goubault-Larrecq J. Lecture Notes in Computer Science 12.04.1997