An efficient well-specified check

Daniel D. Deavours, William H. Sanders. An efficient well-specified check. In Proceedings of the 8th International Workshop on Petri Nets and Performance Models, PNPM 1999, Zaragoza, Spain, September 8-10, 1999. pages 124-133, IEEE, 1999. [doi]

Abstract

Abstract is missing.