CTESK

MaRDI QIDQ27609swMATHFDO

Official website http://www.unitesk.com/content/category/7/14/33/

Cited in

(2)

• SMV
• Projecting transition systems: overcoming state explosion in concurrent system verification

This page was built for software: CTESK