%0 Conference Paper %1 conf/sas/CrnogoracKS96 %A Crnogorac, Lobel %A Kelly, Andrew D. %A Søndergaard, Harald %B SAS %D 1996 %E Cousot, Radhia %E Schmidt, David A. %I Springer %K dblp %P 159-173 %T A Comparison of Three Occur-Check Analysers. %U http://dblp.uni-trier.de/db/conf/sas/sas96.html#CrnogoracKS96 %V 1145 %@ 3-540-61739-6

@inproceedings{conf/sas/CrnogoracKS96, added-at = {2018-11-14T00:00:00.000+0100}, author = {Crnogorac, Lobel and Kelly, Andrew D. and Søndergaard, Harald}, biburl = {https://www.bibsonomy.org/bibtex/24d09bc2390d717072a8b482d12d09bfb/dblp}, booktitle = {SAS}, crossref = {conf/sas/1996}, editor = {Cousot, Radhia and Schmidt, David A.}, ee = {https://www.wikidata.org/entity/Q57665066}, interhash = {3659978b1538f8193d2c71268ac3a405}, intrahash = {4d09bc2390d717072a8b482d12d09bfb}, isbn = {3-540-61739-6}, keywords = {dblp}, pages = {159-173}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:45:25.000+0200}, title = {A Comparison of Three Occur-Check Analysers.}, url = {http://dblp.uni-trier.de/db/conf/sas/sas96.html#CrnogoracKS96}, volume = 1145, year = 1996 }