Partitioned PLTL model-checking for refined transition systems
| Autor: | Julliand, J., Masson, P.-A., Oudot, E. |
|---|---|
| Zdroj: | In Information and Computation 2009 207(6):681-698 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Julliand, J., Masson, P.-A., Oudot, E. |
|---|---|
| Zdroj: | In Information and Computation 2009 207(6):681-698 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect