MuDiv

swMATH35863MaRDI QIDQ51565FDOQ51565

Author name not available (Why is that?)

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