Learning−based Compositional Verification for Synchronous Probabilistic Systems
Үндсэн зохиолчид: | , , , |
---|---|
Формат: | Conference item |
Хэвлэсэн: |
Springer
2011
|
Үндсэн зохиолчид: | , , , |
---|---|
Формат: | Conference item |
Хэвлэсэн: |
Springer
2011
|