%0 Conference Paper %1 conf/membrane/GheorgheCIK16 %A Gheorghe, Marian %A Ceterchi, Rodica %A Ipate, Florentin %A Konur, Savas %B Int. Conf. on Membrane Computing %D 2016 %E Leporati, Alberto %E Rozenberg, Grzegorz %E Salomaa, Arto %E Zandron, Claudio %I Springer %K dblp %P 233-250 %T Kernel P Systems Modelling, Testing and Verification - Sorting Case Study. %U http://dblp.uni-trier.de/db/conf/membrane/membrane2016.html#GheorgheCIK16 %V 10105 %@ 978-3-319-54071-9

@inproceedings{conf/membrane/GheorgheCIK16, added-at = {2022-12-07T00:00:00.000+0100}, author = {Gheorghe, Marian and Ceterchi, Rodica and Ipate, Florentin and Konur, Savas}, biburl = {https://www.bibsonomy.org/bibtex/2e1a9a96670a05a8bb48e970b5f429324/dblp}, booktitle = {Int. Conf. on Membrane Computing}, crossref = {conf/membrane/2016}, editor = {Leporati, Alberto and Rozenberg, Grzegorz and Salomaa, Arto and Zandron, Claudio}, ee = {https://doi.org/10.1007/978-3-319-54072-6_15}, interhash = {1757f2828ee96cb6593e3976456d2c8e}, intrahash = {e1a9a96670a05a8bb48e970b5f429324}, isbn = {978-3-319-54071-9}, keywords = {dblp}, pages = {233-250}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T08:40:25.000+0200}, title = {Kernel P Systems Modelling, Testing and Verification - Sorting Case Study.}, url = {http://dblp.uni-trier.de/db/conf/membrane/membrane2016.html#GheorgheCIK16}, volume = 10105, year = 2016 }