@inproceedings{PADL-2005-YangDRS,
author = "Ping Yang and Yifei Dong and C. R. Ramakrishnan and Scott A. Smolka",
booktitle = "{Proceedings of the Seventh International Symposium on Practical Aspects of Declarative Languages}",
doi = "10.1007/978-3-540-30557-6_10",
isbn = "3-540-24362-3",
pages = "113--127",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{A Provably Correct Compiler for Efficient Model Checking of Mobile Processes}",
volume = 3350,
year = 2005,
}
Tags: