Reasoning about decomposing and recomposing problem frame developments: a case study

Li, Zhi; Hall, J. G. and Rapanotti, L. (2004). Reasoning about decomposing and recomposing problem frame developments: a case study. In: 1st International Workshop on Advances and Applications of Problem Frames, 2004, Edinburgh, Scotland.

DOI (Digital Object Identifier) Link:	http://dx.doi.org/doi:10.1049/ic:20040224
Google Scholar:	Look up in Google Scholar

Item Type:	Conference Item
ISBN:	1-880094-46-0, 978-1-880094-46-4
Academic Unit/Department:	Mathematics, Computing and Technology > Computing
Interdisciplinary Research Centre:	Centre for Research in Computing (CRC)
Item ID:	9600
Depositing User:	Jon Hall
Date Deposited:	08 Oct 2007
Last Modified:	02 Dec 2010 20:05
URI:	http://oro.open.ac.uk/id/eprint/9600

Actions (login may be required)

	View Item
RDF+XMLBibTeXRDF+N-TriplesJSONDublin CoreAtomOAI-ORE Resource Map (Atom Format)Simple MetadataReferMETSOAI-ORE Resource Map (RDF Format)HTML CitationASCII CitationMultiline CSVRefMan RIS Format (UTF-8)OpenURL ContextObjectEndNoteMODSOpenURL ContextObject in SpanMPEG-21 DIDLEP3 XMLRefMan RIS FormatRDF+N3Eprints Application Profile	Public: Report issue / request change