Home

Back

Julian Rathke: BibTex


@inproceedings{RS08-dsltma,
  author	= {Rathke, Julian and Sobocinski, Pawel},
  title		= {Deriving structural labelled transitions for mobile ambients},
  booktitle	= {
       Proc. 19th International Conference on Concurrency Theory (Concur)
   },
  year		= {
     2008
   },
  publisher	= {Springer},
  series	= {Lecture Notes in Computer Science},
  volume	= {5201},
  pages		= {462--476},
}