Model checking for design and assurance of e-Business processes

Abstract
No abstract available

This publication has 5 references indexed in Scilit: