From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

The Power of QDDs (Extended Abstract).

B. Boigelot, P. Godefroid, B. Willems, и P. Wolper. SAS, том 1302 из Lecture Notes in Computer Science, стр. 172-186. Springer, (1997)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

A direct symbolic approach to model checking pushdown systems.A. Finkel, B. Willems, и P. Wolper. INFINITY, том 9 из Electronic Notes in Theoretical Computer Science, стр. 27-37. Elsevier, (1997)Partial-Order Methods for Model Checking: From Linear Time to Branching Time.B. Willems, и P. Wolper. LICS, стр. 294-303. IEEE Computer Society, (1996)The Power of QDDs (Extended Abstract).B. Boigelot, P. Godefroid, B. Willems, и P. Wolper. SAS, том 1302 из Lecture Notes in Computer Science, стр. 172-186. Springer, (1997)