CTESK

swMATH15731MaRDI QIDQ27609FDOQ27609

Author name not available (Why is that?)

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

Cited In (1)

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

This page was built for software: CTESK