%0 Conference Paper %1 conf/popl/JacksonJD96 %A Jackson, Daniel %A Jha, Somesh %A Damon, Craig %B POPL %D 1996 %E Boehm, Hans-Juergen %E Jr., Guy L. Steele %I ACM Press %K dblp %P 79-90 %T Faster Checking of Software Specifications by Eliminating Isomorphs. %U http://dblp.uni-trier.de/db/conf/popl/popl96.html#JacksonJD96 %@ 0-89791-769-3

@inproceedings{conf/popl/JacksonJD96, added-at = {2018-11-06T00:00:00.000+0100}, author = {Jackson, Daniel and Jha, Somesh and Damon, Craig}, biburl = {https://www.bibsonomy.org/bibtex/2e4156a32f9eb8d3473ba2234f4f54c8b/dblp}, booktitle = {POPL}, crossref = {conf/popl/1996}, editor = {Boehm, Hans-Juergen and Jr., Guy L. Steele}, ee = {https://doi.org/10.1145/237721.237733}, interhash = {d584a523dbc26dde664cf63f8a89fb17}, intrahash = {e4156a32f9eb8d3473ba2234f4f54c8b}, isbn = {0-89791-769-3}, keywords = {dblp}, pages = {79-90}, publisher = {ACM Press}, timestamp = {2018-11-07T15:44:10.000+0100}, title = {Faster Checking of Software Specifications by Eliminating Isomorphs.}, url = {http://dblp.uni-trier.de/db/conf/popl/popl96.html#JacksonJD96}, year = 1996 }