REAL

Verifying APCol Systems

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

[img] 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 Edit Item