ProfessorAlessandraRusso

Faculty of Engineering, Department of Computing

Professor in Applied Computational Logic

Contact

+44 (0)20 7594 8312a.russo Website

Location

560Huxley BuildingSouth Kensington Campus

Summary

Publications

Citation

BibTex format

@techreport{Russo:2001,
author = {Russo, A and Miller, R and Kramer, J and Nuseibeh, B},
booktitle = {An Abductive Approach for Analysing Event-based Specifications.},
publisher = {Imperial College of Science, Technology and Medicine, Department of Computing},
title = {An Abductive Approach for Analysing Event-based Specifications.},
url = {http://pubs.doc.ic.ac.uk/AbductionEventSpecification2001},
year = {2001}
}

Download

RIS format (EndNote, RefMan)

TY  - RPRT
AU  - Russo,A
AU  - Miller,R
AU  - Kramer,J
AU  - Nuseibeh,B
PB  - Imperial College of Science, Technology and Medicine, Department of Computing
PY  - 2001///
TI  - An Abductive Approach for Analysing Event-based Specifications.
T1  - An Abductive Approach for Analysing Event-based Specifications.
UR  - http://pubs.doc.ic.ac.uk/AbductionEventSpecification2001
ER  -

Download