Raimondi, F and Lomuscio, A (2004) Symbolic Model Checking of Deontic Interpreted Systems via OBDD's. In: (Proceedings) Proceedings of DEON04, Seventh International Workshop on Deontic Logic in Computer Science.. Springer Verlag LNCS: Madeira.
Full text not available from this repository.
| Type: | Proceedings paper |
|---|---|
| Title: | Symbolic Model Checking of Deontic Interpreted Systems via OBDD's. |
| Event: | Proceedings of DEON04, Seventh International Workshop on Deontic Logic in Computer Science. |
| UCL classification: | UCL > School of BEAMS > Faculty of Engineering Science > Computer Science |
Archive Staff Only: edit this record