Login
Admin
Dashboards
Simple search
|
Advanced search
Home
Browse
Latest additions
Help
Contact
Browse by Person (creator, editor, contributor, etc.)
Up a level
Export as
ASCII Citation
BibTeX
Dublin Core
EP3 XML
EndNote
HTML Citation
JSON
METS
Multiline CSV (Staff)
Object IDs
OpenURL ContextObject
RDF+N-Triples
RDF+N3
RDF+XML
Refer
Reference Manager
Atom
RSS 1.0
RSS 2.0
Group by:
Item Type
|
Date
|
No Grouping
Jump to:
Article
Number of items:
1
.
Article
Boiten, Eerke Albert
and
Derrick, John
(2002)
Unifying concurrent and relational refinement.
Electronic Notes in Theoretical Computer Science, 70 (3). pp. 94-131. ISSN 1571-0661. (doi:
https://doi.org/10.1016/S1571-0061(05)80488-8
) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
This list was generated on
Sat Apr 21 20:57:50 2018 BST
.