Formal verification of cP systems using PAT3 and ProB.

dc.contributor.author	Liu, Yezhou	en
dc.contributor.author	Nicolescu, Radu	en
dc.contributor.author	Sun, Jing	en
dc.date.accessioned	2020-09-21T00:51:54Z	en
dc.date.available	2020-09-21T00:51:54Z	en
dc.date.issued	2020	en
dc.identifier.uri	http://hdl.handle.net/2292/53014	en
dc.relation.ispartofseries	J. Membr. Comput.	en
dc.rights	Items in ResearchSpace are protected by copyright, with all rights reserved, unless otherwise indicated. Previously published items are made available in accordance with the copyright policy of the publisher.	en
dc.rights.uri	https://researchspace.auckland.ac.nz/docs/uoa-docs/rights.htm	en
dc.title	Formal verification of cP systems using PAT3 and ProB.	en
dc.type	Journal Article	en
pubs.begin-page	80	en
pubs.volume	2	en
dc.rights.holder	Copyright: The author	en
pubs.end-page	94	en
dc.rights.accessrights	http://purl.org/eprint/accessRights/RestrictedAccess	en
pubs.elements-id	804662	en
pubs.org-id	Science	en
pubs.org-id	School of Computer Science	en
pubs.number	2	en

Files in this item

There are no files associated with this item.