Experiences using Z2SAL

Siregar, M.U., Derrick, J., North, S.D. orcid.org/0000-0002-8478-8960 et al. (1 more author) (2014) Experiences using Z2SAL. In: Proceedings - ICACSIS 2014: International Conference on Advanced Computer Science and Information Systems. International Conference on Advanced Computer Science and Information Systems, 18-19 Oct 2014, Jakarta, Indonesia. IEEE , pp. 225-231. ISBN 9781479980758



Copyright, Publisher and Additional Information: © 2014 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other users, including reprinting/ republishing this material for advertising or promotional purposes, creating new collective works for resale or redistribution to servers or lists, or reuse of any copyrighted components of this work in other works. Reproduced in accordance with the publisher's self-archiving policy.
Keywords: Model checking; Semantics; Radio access networks; Natural languages; Abstracts; Data structures
  • Accepted: 18 August 2014
  • Published: 18 October 2014
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Depositing User: Symplectic Sheffield
Date Deposited: 18 Aug 2016 10:50
Last Modified: 04 Nov 2016 04:59
Published Version: https://dx.doi.org/10.1109/ICACSIS.2014.7065856
Status: Published
Publisher: IEEE
Refereed: Yes
Identification Number: https://doi.org/10.1109/ICACSIS.2014.7065856

Share / Export