University Homepage
School Homepage
School Contacts
School Search
Informatics Report Series
Author
Juliana Bowles
Related Pages
Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index
Home
Report
Date
Title
EDI-INF-RR-0444
Apr 2002
Enriching OCL using observational mu-calculus
EDI-INF-RR-0333
2005
Guaranteeing temporal validity with a real-time logic of knowledge
EDI-INF-RR-0332
2005
On a time enriched OCL liveness template
Home
:
Publications
:
Author
Please mail <reports@inf.ed.ac.uk> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh