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]](https://eprints.sztaki.hu/style/images/fileicons/text.png) |
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: | https://eprints.sztaki.hu/id/eprint/8439 |
 |
Update Item |
