|
Search the dblp DataBase
Vitali Kozioura:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Barbara König, Vitali Kozioura
Counterexample-Guided Abstraction Refinement for the Analysis of Graph Transformation Systems. [Citation Graph (0, 0)][DBLP] TACAS, 2006, pp:197-211 [Conf]
- Barbara König, Vitali Kozioura
Augur - A Tool for the Analysis of Graph Transformation Systems. [Citation Graph (0, 0)][DBLP] Bulletin of the EATCS, 2005, v:87, n:, pp:126-137 [Journal]
- Vitali Kozioura
Verification of Random Graph Transformation Systems. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:175, n:4, pp:63-72 [Journal]
- Barbara König, Vitali Kozioura
Incremental construction of coverability graphs. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 2007, v:103, n:5, pp:203-209 [Journal]
Towards the Verification of Attributed Graph Transformation Systems. [Citation Graph (, )][DBLP]
Augur 2 - A New Version of a Tool for the Analysis of Graph Transformation Systems. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|