| Fechar | |
|
Transformation of UML behavioral diagrams to support software model checking
Lista de arquivos depositados em: |
|
| Nome | Última modificação | Tamanho |
| :: 1404.0855v1.pdf | 11/09/2014 09:33 | 337.6 KiB |
| 2 arquivos escondidos |
| Fechar |