Specification and Generation of Environment for Model Checking of Software Components
| Autor: | Parizek, Pavel, Plasil, Frantisek |
|---|---|
| Zdroj: | In Electronic Notes in Theoretical Computer Science 31 May 2007 176(2):143-154 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect