Core Hybrid Event-B I: Single Hybrid Event-B machines

Hdl Handle:
http://hdl.handle.net/10149/594435
Title:
Core Hybrid Event-B I: Single Hybrid Event-B machines
Authors:
Banach, R. (Richard); Butler, M. (Michael); Qin, S. (Shengchao); Verma, N. (Nitika); Zhu, H. (Huibiao)
Affiliation:
Teesside University. Digital Futures Institute
Citation:
Banach, R., Butler, M., Qin, S., Verma, N., Zhu, H. (2015) 'Core Hybrid Event-B I: Single Hybrid Event-B machines' Science of Computer Programming; 105:92-123
Publisher:
Elsevier
Journal:
Science of Computer Programming
Issue Date:
Jul-2015
URI:
http://hdl.handle.net/10149/594435
DOI:
10.1016/j.scico.2015.02.003
Additional Links:
http://linkinghub.elsevier.com/retrieve/pii/S0167642315000283
Type:
Article
Language:
en
ISSN:
01676423
Rights:
Following 12 month embargo author can archive post-print (ie final draft post-refereeing). Creative Commons Attribution Non-Commercial No Derivatives License. For full details see http://www.sherpa.ac.uk/romeo [Accessed: 20/01/2016]

Full metadata record

DC FieldValue Language
dc.contributor.authorBanach, R. (Richard)en
dc.contributor.authorButler, M. (Michael)en
dc.contributor.authorQin, S. (Shengchao)en
dc.contributor.authorVerma, N. (Nitika)en
dc.contributor.authorZhu, H. (Huibiao)en
dc.date.accessioned2016-01-20T15:41:00Zen
dc.date.available2016-01-20T15:41:00Zen
dc.date.issued2015-07en
dc.identifier.citationScience of Computer Programming; 105:92-123en
dc.identifier.issn01676423en
dc.identifier.doi10.1016/j.scico.2015.02.003en
dc.identifier.urihttp://hdl.handle.net/10149/594435en
dc.language.isoenen
dc.publisherElsevieren
dc.relation.urlhttp://linkinghub.elsevier.com/retrieve/pii/S0167642315000283en
dc.rightsFollowing 12 month embargo author can archive post-print (ie final draft post-refereeing). Creative Commons Attribution Non-Commercial No Derivatives License. For full details see http://www.sherpa.ac.uk/romeo [Accessed: 20/01/2016]en
dc.titleCore Hybrid Event-B I: Single Hybrid Event-B machinesen
dc.typeArticleen
dc.contributor.departmentTeesside University. Digital Futures Instituteen
dc.identifier.journalScience of Computer Programmingen
or.citation.harvardBanach, R., Butler, M., Qin, S., Verma, N., Zhu, H. (2015) 'Core Hybrid Event-B I: Single Hybrid Event-B machines' Science of Computer Programming; 105:92-123en
All Items in TeesRep are protected by copyright, with all rights reserved, unless otherwise indicated.