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 | 




