A Categorical Metamodel for Reactive Kripke Frames.
| Autor: | Crăciunean, Daniel C.1 daniel.craciunean@ulbsibiu.ro |
|---|---|
| Zdroj: | International Journal of Advanced Statistics & IT&C for Economics & Life Sciences. Dec2023, Vol. 13 Issue 1, p3-13. 11p. |
| Databáze: | Business Source Ultimate |
| Externí odkaz: |
|