Checkmate

swMATH26820MaRDI QIDQ38549FDOQ38549

Author name not available (Why is that?)

Official website: http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.216.395&rep=rep1&type=pdf

Cited In (3)

• Static analysis of communicating processes using symbolic transducers
• Deadlock detection of Java bytecode
• ThreadSafe

This page was built for software: Checkmate