Farkas, Rebeka and Hajdu, Ákos (2017) Activity-Based Abstraction Refinement for Timed Systems. In: Proceedings of the 24th PhD Mini-Symposium. BME MIT, Budapest, pp. 18-21. ISBN 978-963-313-243-2
|
Text
document.pdf Download (338kB) | Preview |
Official URL: https://doi.org/10.5281/zenodo.291891
| 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: | 31 Jul 2017 13:47 |
| Last Modified: | 31 Jul 2017 13:47 |
| URI: | http://real.mtak.hu/id/eprint/57654 |
Actions (login required)
 |
Edit Item |
