Вы здесь

Jabbar Sh.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Large-Scale Model Checking LTL 2006 Edelkamp S., Jabbar Sh. Lecture Notes in Computer Science Lecture Notes in Computer Science 23.05.2006