Stem mpl$ (all stems)
2 papers:
- ICEIS-ISAS-2009-GruhnK #analysis #mobile #modelling #process
- Modelling, Analysis and Improvement of Mobile Business Processes with the MPL Method (VG, AK), pp. 89–94.
- VDME-1991-1-MiddelburgL #comparison #logic
- LPF and MPLω — A Logical Comparison of VDM SL and COLD-K (CAM, GRRdL), pp. 279–308.