View of Advanced Saturation-based Model Checking of Well-formed Coloured Petri Nets

Return to Article Details Advanced Saturation-based Model Checking of Well-formed Coloured Petri Nets Download Download PDF