Karsten Schmidt 0004. Model-Checking with Coverability Graphs. Formal Methods in System Design, 15(3):239-254, 1999.
@article{Schmidt99:10, title = {Model-Checking with Coverability Graphs}, author = {Karsten Schmidt 0004}, year = {1999}, tags = {model checking, meta-model, graph-rewriting, Meta-Environment, rewriting}, researchr = {https://researchr.org/publication/Schmidt99%3A10}, cites = {0}, citedby = {0}, journal = {Formal Methods in System Design}, volume = {15}, number = {3}, pages = {239-254}, }