An integrated model checking toolset for kernel P systems

Gheorghe, M., Konur, S., Ipate, F. et al. (3 more authors) (2015) An integrated model checking toolset for kernel P systems. In: Lecture Notes in Computer Science. 16th International Conference, CMC 2015, 17-21 August 2015, Valencia, Spain. Springer , pp. 153-170. ISBN 9783319284743

Abstract

Metadata

Authors/Creators:
  • Gheorghe, M.
  • Konur, S.
  • Ipate, F.
  • Mierla, L.
  • Bakir, M.E.
  • Stannett, M.
Copyright, Publisher and Additional Information: © 2015 Springer. This is an author produced version of a paper subsequently published in Lecture Notes in Computer Science. Uploaded in accordance with the publisher's self-archiving policy.
Dates:
  • Published: 30 December 2015
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: 10 Mar 2016 15:05
Last Modified: 16 Nov 2016 07:57
Published Version: http://dx.doi.org/10.1007/978-3-319-28475-0_11
Status: Published
Publisher: Springer
Identification Number: https://doi.org/10.1007/978-3-319-28475-0_11

Share / Export

Statistics