%0 Conference Paper %1 conf/hipc/IyerR98 %A Iyer, Sridhar %A Ramesh, S. %B HiPC %D 1998 %I IEEE Computer Society %K dblp %P 124-131 %T Apportioning: a technique for efficient reachability analysis of concurrent object-oriented programs. %U http://dblp.uni-trier.de/db/conf/hipc/hipc1998.html#IyerR98 %@ 0-8186-9194-8

@inproceedings{conf/hipc/IyerR98, added-at = {2023-03-24T00:00:00.000+0100}, author = {Iyer, Sridhar and Ramesh, S.}, biburl = {https://www.bibsonomy.org/bibtex/2dca34b29634dfc972cc6b17b51c70048/dblp}, booktitle = {HiPC}, crossref = {conf/hipc/1998}, ee = {https://doi.ieeecomputersociety.org/10.1109/HIPC.1998.737980}, interhash = {029a4156b77c7bbb32a0bba010a57ccf}, intrahash = {dca34b29634dfc972cc6b17b51c70048}, isbn = {0-8186-9194-8}, keywords = {dblp}, pages = {124-131}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T09:00:14.000+0200}, title = {Apportioning: a technique for efficient reachability analysis of concurrent object-oriented programs.}, url = {http://dblp.uni-trier.de/db/conf/hipc/hipc1998.html#IyerR98}, year = 1998 }