Extensions to the CEGAR Approach on Petri Nets
Hajdu, Ákos and Vörös, András and Bartha, Tamás and Mártonka, Zoltán (2013) Extensions to the CEGAR Approach on Petri Nets. In: Proceedings of the 13th Symposium on Programming Languages and Software Tools, SPLST'13, 2013-08-26 - 2013-08-27, Szeged, Magyarország.
![[img]](https://eprints.sztaki.hu/style/images/fileicons/text.png) |
Text
Hajdu_274_2442424_ny.pdf Download (409kB) |
| Item Type: | Conference or Workshop Item (-) |
|---|---|
| Subjects: | Q Science > QA Mathematics and Computer Science > QA75 Electronic computers. Computer science / számítástechnika, számítógéptudomány |
| Divisions: | Systems and Control Lab |
| Depositing User: | EPrints Admin |
| Date Deposited: | 05 Feb 2014 12:32 |
| Last Modified: | 05 Feb 2014 15:46 |
| URI: | https://eprints.sztaki.hu/id/eprint/7668 |
 |
Update Item |
