dot

swMATH42809MaRDI QIDQ5972965FDOQ5972965

Author name not available (Why is that?)

Cited In (4)

• Evaluation of cyber security and modelling of risk propagation with Petri nets
• Automatic verification of concurrent stochastic systems
• Partition refinement of component interaction automata
• A New Framework for Hierarchical Drawings

This page was built for software: dot