Wozna, B and Penczek, W and Lomuscio, A (2004) Bounded Model Checking for knowledge over real time. In: (Proceedings) Proceedings of the International Workshop on Concurrency, Specification and Programming (CS&P'04). (pp. 398 - 414).
Full text not available from this repository.
| Type: | Proceedings paper |
|---|---|
| Title: | Bounded Model Checking for knowledge over real time |
| Event: | Proceedings of the International Workshop on Concurrency, Specification and Programming (CS&P'04) |
| UCL classification: | UCL > School of BEAMS > Faculty of Engineering Science > Computer Science |
Archive Staff Only: edit this record