Witold Charatonik, Jean-Marc Talbot. The Decidability of Model Checking Mobile Ambients. In Laurent Fribourg, editor, Computer Science Logic, 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001, Proceedings. Volume 2142 of Lecture Notes in Computer Science, pages 339-354, Springer, 2001. [doi]
@inproceedings{CharatonikT01,
title = {The Decidability of Model Checking Mobile Ambients},
author = {Witold Charatonik and Jean-Marc Talbot},
year = {2001},
url = {http://link.springer.de/link/service/series/0558/bibs/2142/21420339.htm},
tags = {model checking, meta-model, Meta-Environment, mobile},
researchr = {https://researchr.org/publication/CharatonikT01},
cites = {0},
citedby = {0},
pages = {339-354},
booktitle = {Computer Science Logic, 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001, Proceedings},
editor = {Laurent Fribourg},
volume = {2142},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-42554-3},
}