TURTLE-P

MaRDI QIDQ22520swMATHFDO

Official website http://cadp.inria.fr/software/04-d-ttool.html

Cited in

(3)

• Effective Representation of RT-LOTOS Terms by Finite Time Petri Nets
• TAXYS
• scientific article; zbMATH DE number 1956483 (Why is no real title available?)

This page was built for software: TURTLE-P