New Search Strategies for the Petri Net CEGAR Approach

Hajdu, Ákos and Vörös, András and Bartha, Tamás (2015) New Search Strategies for the Petri Net CEGAR Approach. In: Application and Theory of Petri Nets and Concurrency. Lecture Notes in Computer Science (9115). Springer International Publishing, Switzerland, pp. 309-328. ISBN 978-3-319-19488-2 10.1007/978-3-319-19488-2_16

[img] Text
Hajdu_309_2905183_z.pdf
Restricted to Registered users only

Download (368kB) | Request a copy
Item Type: Book Section
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
SWORD Depositor: MTMT Injector
Depositing User: MTMT Injector
Date Deposited: 11 Jan 2016 17:31
Last Modified: 11 Jan 2016 17:31
URI: http://eprints.sztaki.hu/id/eprint/8439

Update Item Update Item