Pages that link to "Item:Q5326325"
From MaRDI portal
The following pages link to PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus (Q5326325):
Displayed 1 item.
The following pages link to PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus (Q5326325):
Displayed 1 item.