Guided State Space Exploration using Back-annotation of Occurrence Vectors
Submitted by BME on Thu, 2011-01-13 11:29
| Title | Guided State Space Exploration using Back-annotation of Occurrence Vectors |
| Publication Type | Conference Proceedings |
| Year of Publication | 2010 |
| Authors | Hegedüs, A., and D. Varró |
| Conference Name | Proceedings of the Fourth International Workshop on Petri Nets and Graph Transformation |
| Keywords | Viatra |
»
- Login to post comments
- XML
- BibTex
- Google Scholar
