Computing Publications

Publications Home » An Abductive Approach for Analysi...

An Abductive Approach for Analysing Event-based Specifications

Alessandra Russo, Robert Miller, Jeff Kramer, Bashar Nuseibeh

Technical Report
September, 2001
Imperial College of Science, Technology and Medicine, Department of Computing
BibTEX file for the publication
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.