School of Computing

The conflict between self-* capabilities and predictability

R. de Lemos

In �. Babaoglu and et al., editors, Self-star Properties in Complex Information Systems: Conceptual and Practical Foundations, Lecture Notes in Computer Science, pages 182-196. Springer, February 2005.

Bibtex Record

@incollection{2569,
author = {R. de Lemos},
title = {The Conflict between Self-* Capabilities and Predictability},
month = {February},
year = {2005},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2005/2569},
    publication_type = {incollection},
    submission_id = {9840_1184001011},
    booktitle = {Self-star Properties in Complex Information Systems: Conceptual and Practical Foundations},
    publisher = {Springer},
    editor = {�. Babaoglu and et al.},
    series = {Lecture Notes in Computer Science },
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014