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] 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: http://eprints.sztaki.hu/id/eprint/7668

Update Item Update Item