@inproceedings{vanGlabbeek_Ploeger_08,
    address          = {Princeton, USA},
    author           = {van Glabbeek, Robert and Ploeger, Bas},
    booktitle        = {Proceedings of the 20th  International Conference on Computer Aided Verification},
    editor           = {{A. Gupta \& S. Malik}},
    issn             = {0302-9743},
    keywords         = {concurrency, verification, algorithms, time and space complexity, simulation preorder, kripke
                        structures, generalised coarsest partition problem.},
    month            = jul,
    pages            = {517--529},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/156.pdf},
    publisher        = {Springer},
    title            = {Correcting a Space-Efficient Simulation Algorithm},
    year             = {2008}
  }