Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
New item
In other projects
MaRDI portal item
Discussion
View source
View history
English
Log in

PIC2LNT

From MaRDI portal
Software:25282
Jump to:navigation, search



swMATH13368MaRDI QIDQ25282FDOQ25282


Author name not available (Why is that?)




Described by source

  • PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus


Cited In (1)

  • Tools and algorithms for the construction and analysis of systems. 19th international conference, TACAS 2013, held as part of the European joint conferences on theory and practice of software, ETAPS 2013, Rome, Italy, March 16--24, 2013. Proceedings


This page was built for software: PIC2LNT

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Software:25282&oldid=29461418"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 5 March 2024, at 20:24. Warning: Page may not contain recent updates.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki