© University of Kent - Contact | Feedback | Legal
The University of Kent, Canterbury, Kent, CT2 7NZ, T +44 (0)1227 764000
A Circus semantics for Ravenscar protected objects
Diyaa-Addein Atiya, Steve King, and Jim Woodcock
In FM 2003: 12th international FME Symposium, Pisa, 2003. Lecture Notes in Computer Science.Bibtex Record
@inproceedings{1796,
author = {Diyaa-Addein Atiya and Steve King and Jim Woodcock},
title = {{A Circus semantics for Ravenscar protected objects}},
month = {unknown},
year = {2003},
pages = {},
keywords = {},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2003/1796},
publication_type = {inproceedings},
submission_id = {3589_1076325360},
booktitle = {FM 2003: 12th international FME Symposium},
address = {Pisa},
publisher = {Lecture Notes in Computer Science},
}