%0 Conference Paper %1 conf/sas/HansenJNN99 %A Hansen, René Rydhof %A Jensen, Jacob Grydholt %A Nielson, Flemming %A Nielson, Hanne Riis %B SAS %D 1999 %E Cortesi, Agostino %E Filé, Gilberto %I Springer %K %P 134-148 %T Abstract Interpretation of Mobile Ambients. %U http://dblp.uni-trier.de/db/conf/sas/sas99.html#HansenJNN99 %V 1694 %@ 3-540-66459-9

@inproceedings{conf/sas/HansenJNN99, added-at = {2023-12-12T22:35:31.000+0100}, author = {Hansen, René Rydhof and Jensen, Jacob Grydholt and Nielson, Flemming and Nielson, Hanne Riis}, biburl = {https://www.bibsonomy.org/bibtex/2aa968a8efef9cf33d32482f75439a100/admin}, booktitle = {SAS}, crossref = {conf/sas/1999}, editor = {Cortesi, Agostino and Filé, Gilberto}, ee = {https://doi.org/10.1007/3-540-48294-6_9}, interhash = {4be7ed87d195fdde2e08782c307006d0}, intrahash = {aa968a8efef9cf33d32482f75439a100}, isbn = {3-540-66459-9}, keywords = {}, pages = {134-148}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T22:35:31.000+0100}, title = {Abstract Interpretation of Mobile Ambients.}, url = {http://dblp.uni-trier.de/db/conf/sas/sas99.html#HansenJNN99}, volume = 1694, year = 1999 }