Model Checking Succinct and Parametric One−Counter Automata
| Asıl Yazarlar: | , , , |
|---|---|
| Diğer Yazarlar: | |
| Materyal Türü: | Conference item |
| Baskı/Yayın Bilgisi: |
Springer
2010
|
| Asıl Yazarlar: | , , , |
|---|---|
| Diğer Yazarlar: | |
| Materyal Türü: | Conference item |
| Baskı/Yayın Bilgisi: |
Springer
2010
|