Construction and SAT−based verification of Contextual Unfoldings
| Автори: | , |
|---|---|
| Формат: | Conference item |
| Опубліковано: |
Springer
2011
|
| Резюме: |
|---|
| Автори: | , |
|---|---|
| Формат: | Conference item |
| Опубліковано: |
Springer
2011
|
| Резюме: |
|---|