A tool supporting efficient model checking of concurrent specifications
| Autor: | De Francesco, Nicoletta, Santone, Antonella * |
|---|---|
| Zdroj: | In Microprocessors and Microsystems 2002 25(9):401-407 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | De Francesco, Nicoletta, Santone, Antonella * |
|---|---|
| Zdroj: | In Microprocessors and Microsystems 2002 25(9):401-407 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect