Shmuel Katz. Refinement with global equivalence proofs in temporal logic. In Doron A. Peled, Vaughan R. Pratt, Gerard J. Holzmann, editors, Partial Order Methods in Verification, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, July 24-26, 1996. Volume 29 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, pages 59-78, DIMACS/AMS, 1996.
@inproceedings{Katz96-2, title = {Refinement with global equivalence proofs in temporal logic}, author = {Shmuel Katz}, year = {1996}, researchr = {https://researchr.org/publication/Katz96-2}, cites = {0}, citedby = {0}, pages = {59-78}, booktitle = {Partial Order Methods in Verification, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, July 24-26, 1996}, editor = {Doron A. Peled and Vaughan R. Pratt and Gerard J. Holzmann}, volume = {29}, series = {DIMACS Series in Discrete Mathematics and Theoretical Computer Science}, publisher = {DIMACS/AMS}, }