Hillel Miller, Shmuel Katz. Saving Space by Fully Exploiting Invisible Transitions. In Rajeev Alur, Thomas A. Henzinger, editors, Computer Aided Verification, 8th International Conference, CAV 96, New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings. Volume 1102 of Lecture Notes in Computer Science, pages 336-347, Springer, 1996.
@inproceedings{MillerK96,
title = {Saving Space by Fully Exploiting Invisible Transitions},
author = {Hillel Miller and Shmuel Katz},
year = {1996},
researchr = {https://researchr.org/publication/MillerK96},
cites = {0},
citedby = {0},
pages = {336-347},
booktitle = {Computer Aided Verification, 8th International Conference, CAV 96, New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings},
editor = {Rajeev Alur and Thomas A. Henzinger},
volume = {1102},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-61474-5},
}