PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus (Q5326325)
From MaRDI portal
scientific article; zbMATH DE number 6194835
Language | Label | Description | Also known as |
---|---|---|---|
English | PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus |
scientific article; zbMATH DE number 6194835 |
Statements
PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus (English)
0 references
5 August 2013
0 references