Cienciala, Ludek and Ciencialová, Lucie and Csuhaj-Varjú, Erzsébet and Vaszil, György (2018) Verifying APCol Systems. In: Proceedings of the 19th International Conference on Membrane Computing (CMC19). Pro Business, Berlin, pp. 247-258. ISBN 978-3-96409-030-0
![]() |
Text
CMC19_cieciecsuva_u.pdf Restricted to Registered users only Download (136kB) | Request a copy |
Item Type: | Book Section |
---|---|
Subjects: | Q Science / természettudomány > QA Mathematics / matematika > QA75 Electronic computers. Computer science / számítástechnika, számítógéptudomány |
SWORD Depositor: | MTMT SWORD |
Depositing User: | MTMT SWORD |
Date Deposited: | 21 Sep 2018 13:44 |
Last Modified: | 21 Sep 2018 13:44 |
URI: | http://real.mtak.hu/id/eprint/84807 |
Actions (login required)
![]() |
Edit Item |