Incremental Model Checking for Decomposable Structures (Extended Abstract)

@inproceedings{Makowsky1995IncrementalMC,
  title={Incremental Model Checking for Decomposable Structures (Extended Abstract)},
  author={Johann A. Makowsky and Elena V. Ravve},
  booktitle={MFCS},
  year={1995}
}

From This Paper

Topics from this paper.
7 Citations
0 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-7 of 7 extracted citations

Similar Papers

Loading similar papers…