Model-checking processes with data
| Autor: | Groote, J.F., Willemse, T.A.C. |
|---|---|
| Zdroj: | In Science of Computer Programming 2005 56(3):251-273 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Groote, J.F., Willemse, T.A.C. |
|---|---|
| Zdroj: | In Science of Computer Programming 2005 56(3):251-273 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect