Macquarie University ResearchOnline
List View
Showing items 1 - 3 of 3.
Add to Quick Collection All 3 Results
| Title | Author/Creator | Date | Full Text | Reviewed | |
|---|---|---|---|---|---|
| Temporalised epistemic logic for reasoning about agent-based systems | Ma, Ji; Orgun, Mehmet A; Sattar, Abdul; Adi, Kamel | 2009 | 
|
|
|
| Two approaches to iterated belief contraction | Ramachandran, Raghav; Nayak, Abhaya C; Orgun, Mehmet A | 2009 | — |
|
|
| Using probabilistic Kleene algebra pKA for protocol verification | McIver, A. K; Gonzalia, C; Cohen, E; Morgan, C. C | 2008 | — |
|
Author/Creator
- Orgun, Mehmet A (2)
- Adi, Kamel (1)
- Cohen, E (1)
- Gonzalia, C (1)
- Ma, Ji (1)
- McIver, A. K (1)
- Morgan, C. C (1)
- Nayak, Abhaya C (1)
- Ramachandran, Raghav (1)
- Sattar, Abdul (1)
Subject Keyword
Resource Type
- conference paper (2)
- journal article (1)
Copyright Macquarie University | Privacy Statement | Accessibility Information
ABN 90 952 801 237 | CRICOS Provider No 00002J