PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus [chapter]

Radu Mateescu, Gwen Salaün
2013 Lecture Notes in Computer Science  
doi:10.1007/978-3-642-36742-7_14 fatcat:ftysmzgkybglpmaf5lg2ffl624