PRISMA

From MaRDI portal

Software:150252

Jump to:navigation, search

CRANPRISMAMaRDI QIDQ150252FDOQ150252

Protocol Inspection and State Machine Analysis

Tammo Krueger

Last update: 26 May 2018

Copyright license: GNU General Public License, version 3.0, GNU General Public License, version 2.0

Software version identifier: 0.2-7

This page was built for software: PRISMA

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Software:150252&oldid=30811676"