Encapsulating deontic and branching time specifications
| Autor: | Castro, Pablo F., Maibaum, Thomas S.E. |
|---|---|
| Zdroj: | In Theoretical Computer Science 12 October 2012 455:98-122 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Castro, Pablo F., Maibaum, Thomas S.E. |
|---|---|
| Zdroj: | In Theoretical Computer Science 12 October 2012 455:98-122 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect