Informace o publikaci
DiVinE: Parallel Distributed Model Checker (Tool paper)
| Autoři | |
|---|---|
| Rok publikování | 2010 |
| Druh | Článek ve sborníku |
| Konference | Proceedings of joint HiBi/PDMC workshop (HiBi/PDMC 2010) |
| Fakulta / Pracoviště MU | |
| Citace | |
| Související projekty: |
|