Fei Pu, Wenhui Zhang. Partition Refinement in Abstract Model Checking. In First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE 2007, June 5-8, 2007, Shanghai, China. pages 209-218, IEEE Computer Society, 2007. [doi]
@inproceedings{PuZ07:1, title = {Partition Refinement in Abstract Model Checking}, author = {Fei Pu and Wenhui Zhang}, year = {2007}, doi = {10.1109/TASE.2007.36}, url = {http://doi.ieeecomputersociety.org/10.1109/TASE.2007.36}, tags = {model checking, meta-model, refinement, Meta-Environment, partitioning}, researchr = {https://researchr.org/publication/PuZ07%3A1}, cites = {0}, citedby = {0}, pages = {209-218}, booktitle = {First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE 2007, June 5-8, 2007, Shanghai, China}, publisher = {IEEE Computer Society}, }