Вы здесь

Lluch-Lafuente A.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Partial Order Reduction in Directed Model Checking 2002 Lluch-Lafuente A., Edelkamp S., Leue S. Lecture Notes in Computer Science 01.05.2002