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. Springer International Publishing Switzerland, Switzerland, pp. 309-328. ISBN 978-3-319-19488-2
|
Text
pn_cegar_final.pdf Download (377kB) | Preview |
| Item Type: | Book Section |
|---|---|
| Subjects: | Q Science / természettudomány > QA Mathematics / matematika |
| SWORD Depositor: | MTMT SWORD |
| Depositing User: | MTMT SWORD |
| Date Deposited: | 10 Jun 2015 14:28 |
| Last Modified: | 10 Jun 2015 14:28 |
| URI: | http://real.mtak.hu/id/eprint/24602 |
Actions (login required)
 |
Edit Item |
