Вы здесь

Leue S.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Partial Order Reduction in Directed Model Checking 2002 Lluch-Lafuente A., Edelkamp S., Leue S. Lecture Notes in Computer Science 01.05.2002
СТ Directed Explicit Model Checking with HSF-SPIN 2001 Edelkamp S., Lafuente A. L., Leue S. Lecture Notes in Computer Science 14.06.2001
СТ VIP: A Visual Editor and Compiler for v-Promela 2000 Kamel M., Leue S. Lecture Notes in Computer Science 26.04.2000
СТ MESA: Support for Scenario-Based Design of Concurrent Systems 1998 Ben-Abdallah H., Leue S. Lecture Notes in Computer Science 29.04.1998