MuDiv

MaRDI QIDQ51565swMATHFDO

Official website http://www.itu.dk/people/jln/papers/concur96-abs.html

Cited in

(6)

• Natural projection as partial model checking
• From natural projection to partial model checking and back
• CMC
• TCT
• libFAUDES
• PESTS

This page was built for software: MuDiv