25 Years of Model Checking history, achievements, perspectives /
Gardado en:
| Principais autores: | , , |
|---|---|
| Formato: | Digital |
| Publicado: |
|
| Assuntos: | |
| Acceso en liña: | http://dx.doi.org/10.1007/978-3-540-69850-0 |
| Tags: |
Engadir etiqueta
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
|