%0 Conference Paper %1 conf/mpc/PavlovicPS10 %A Pavlovic, Dusko %A Pepper, Peter %A Smith, Douglas R. %B MPC %D 2010 %E Bolduc, Claude %E Desharnais, Josée %E Ktari, Béchir %I Springer %K dblp %P 353-376 %T Formal Derivation of Concurrent Garbage Collectors. %U http://dblp.uni-trier.de/db/conf/mpc/mpc2010.html#PavlovicPS10 %V 6120 %@ 978-3-642-13320-6

@inproceedings{conf/mpc/PavlovicPS10, added-at = {2019-10-19T00:00:00.000+0200}, author = {Pavlovic, Dusko and Pepper, Peter and Smith, Douglas R.}, biburl = {https://www.bibsonomy.org/bibtex/26a05ed38c0b62616c8cfc8f58a179f34/dblp}, booktitle = {MPC}, crossref = {conf/mpc/2010}, editor = {Bolduc, Claude and Desharnais, Josée and Ktari, Béchir}, ee = {https://doi.org/10.1007/978-3-642-13321-3_20}, interhash = {adc6ef8881d9279c31969e22e5926934}, intrahash = {6a05ed38c0b62616c8cfc8f58a179f34}, isbn = {978-3-642-13320-6}, keywords = {dblp}, pages = {353-376}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T12:14:23.000+0200}, title = {Formal Derivation of Concurrent Garbage Collectors.}, url = {http://dblp.uni-trier.de/db/conf/mpc/mpc2010.html#PavlovicPS10}, volume = 6120, year = 2010 }