%0 Conference Paper %1 conf/esop/BusiZ05 %A Busi, Nadia %A Zavattaro, Gianluigi %B ESOP %D 2005 %E Sagiv, Shmuel %I Springer %K dblp %P 248-262 %T Deciding Reachability in Mobile Ambients. %U http://dblp.uni-trier.de/db/conf/esop/esop2005.html#BusiZ05 %V 3444 %@ 3-540-25435-8

@inproceedings{conf/esop/BusiZ05, added-at = {2018-06-26T00:00:00.000+0200}, author = {Busi, Nadia and Zavattaro, Gianluigi}, biburl = {https://www.bibsonomy.org/bibtex/256961ceedb73da8f2b9293cc34946141/dblp}, booktitle = {ESOP}, crossref = {conf/esop/2005}, editor = {Sagiv, Shmuel}, ee = {https://doi.org/10.1007/978-3-540-31987-0_18}, interhash = {a60e120b14bf691ca45f54e902d3b329}, intrahash = {56961ceedb73da8f2b9293cc34946141}, isbn = {3-540-25435-8}, keywords = {dblp}, pages = {248-262}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T15:02:13.000+0200}, title = {Deciding Reachability in Mobile Ambients.}, url = {http://dblp.uni-trier.de/db/conf/esop/esop2005.html#BusiZ05}, volume = 3444, year = 2005 }