%0 Conference Paper %1 conf/tgc/BhargavanGN07 %A Bhargavan, Karthikeyan %A Gordon, Andrew D. %A Narasamdya, Iman %B TGC %D 2007 %E Barthe, Gilles %E Fournet, Cédric %I Springer %K dblp %P 22 %T Service Combinators for Farming Virtual Machines. %U http://dblp.uni-trier.de/db/conf/tgc/tgc2007.html#BhargavanGN07 %V 4912 %@ 978-3-540-78662-7

@inproceedings{conf/tgc/BhargavanGN07, added-at = {2022-02-14T00:00:00.000+0100}, author = {Bhargavan, Karthikeyan and Gordon, Andrew D. and Narasamdya, Iman}, biburl = {https://www.bibsonomy.org/bibtex/2386ba1ffd5364fb1621b000fb21de94b/dblp}, booktitle = {TGC}, crossref = {conf/tgc/2007}, editor = {Barthe, Gilles and Fournet, Cédric}, ee = {https://doi.org/10.1007/978-3-540-78663-4_3}, interhash = {d87808252164d1d6881847954ab131f8}, intrahash = {386ba1ffd5364fb1621b000fb21de94b}, isbn = {978-3-540-78662-7}, keywords = {dblp}, pages = 22, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T03:51:34.000+0200}, title = {Service Combinators for Farming Virtual Machines.}, url = {http://dblp.uni-trier.de/db/conf/tgc/tgc2007.html#BhargavanGN07}, volume = 4912, year = 2007 }