LOTOOL

MaRDI QIDQ30438swMATHFDO

Official website http://scholar.google.de/scholar?q=LOTOOL%3A+A+Tool+for+Developing%2C+Verifying+and+Testing+Protocols+using+Formal+Description+Techniques

Cited in

(2)

• scientific article; zbMATH DE number 1693443 (Why is no real title available?)
• Topo

This page was built for software: LOTOOL